Benedict Eastaugh
|
Registered User
|
PhD student in logic and philosophy of mathematics.
|
|
46
|
Votes |
46 |
|
11
|
Tags |
|
lo.logic× 3 soft-question set-theory reverse-math reference-request model-theory math-philosophy large-cardinals foundations computability-theory |
arithmetic |
|
4
|
Badges |
