Skip to main content
MathOverflow
Benedict Eastaugh's user avatar
Benedict Eastaugh's user avatar
Benedict Eastaugh's user avatar
Benedict Eastaugh
  • Member for 14 years, 1 month
  • Last seen this week
Profile Activity
Stats
1,094
reputation
19k
reached
10
answers
3
questions
Communities
View all
About

logic/philosophy of mathematics

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
22
bronze badges
Top tags
View all tags
62
Score
11
Posts
85
Posts %
39
Score
4
Posts
31
Posts %
27
Score
5
Posts
38
Posts %
20
Score
3
Posts
23
Posts %
19
Score
5
Posts
38
Posts %
15
Score
2
Posts
15
Posts %
Top posts
View all questions and answers
answer
14
Are key theorems finitistically reducible?
Dec 2
question
10
New research on coding in reverse mathematics?
Mar 11, 2013
answer
10
Ultrainfinitism, or a step beyond the transfinite
Jun 30, 2012
answer
10
Comparative analysis of history of mathematics
Feb 10, 2023
answer
10
How much choice is needed to show that formally real fields can be ordered?
Oct 8, 2023
answer
10
Book recommendation introduction to model theory
Jun 7
question
7
Fragments of Morse—Kelley set theory
Jul 26, 2013
question
5
Attribution of an equivalence of the existence of omega-models of RCA0
Mar 13, 2014
answer
5
Is a paraconsistent and provably non-trivial foundation for math possible?
Sep 30, 2016
answer
5
Equivalences between statements of (seemingly) different order
Oct 19, 2022
Top network posts
View all network posts
78
Why do professors give talks on published work without their coauthors present at the seminars?
34
Can I write "paper accepted without revisions" on a CV?
30
What's the meaning of a set to the power of another set?
25
Classic type theory textbooks
20
Recommendation Letter Advice and Examples