Benedict Eastaugh

Member for 14 years, 1 month
Last seen this week

Summary

Reputation

1,094

1.1k
804
515

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

2,000 Rep.

Edit posts

Badges

10

22

Newest

Nice Answer

Next badge

0/1

Custodian

Impact

~19k

people reached

71

helpful flags

502

votes cast

Answers

View all 10 answers

14

Are key theorems finitistically reducible?

Dec 2

10

Book recommendation introduction to model theory

Jun 7

10

Comparative analysis of history of mathematics

Feb 10, 2023

10

How much choice is needed to show that formally real fields can be ordered?

Oct 8, 2023

10

Ultrainfinitism, or a step beyond the transfinite

Jun 30, 2012

Questions

10

New research on coding in reverse mathematics?

Mar 11, 2013

7

Fragments of Morse—Kelley set theory

Jul 26, 2013

5

Attribution of an equivalence of the existence of omega-models of RCA0

Mar 13, 2014

Tags

View all 20 tags

lo.logic

62

Score

11

posts

mathematical-philosophy

39

Score

4

posts

reference-request

27

Score

5

posts

set-theory

20

Score

3

posts

reverse-math

19

Score

5

posts

Reputation

+140

Are key theorems finitistically reducible?

+2

Are key theorems finitistically reducible?

+10

Book recommendation introduction to model theory

+2

How to handle sums in Tait's reducibility proof of strong normalisation?

Badges

View all badges

This user doesn’t have any gold badges yet.

10

silver badges

Lifejacket

Feb 28, 2022
Civic Duty

Nov 21, 2016
Constituent

Oct 7, 2013

22

bronze badges

Tag Editor

Oct 10, 2013
Quorum

Oct 11, 2013
Organizer

Jun 19

Accounts

View all 10 accounts

2,951
18
28

1,638
14
15

1,094
10
22

203
1
6

History of Science and Mathematics

103
3

Active bounties (0)

This user has no active bounties

Votes cast

487

upvotes

15

downvotes

176

question votes

326

answer votes

7

this month