Stack Exchange

Benedict Eastaugh

Aberdeen, United Kingdom

http://extralogical.net

Researcher in logic and philosophy of mathematics at the University of Aberdeen.

top accounts reputation activity subscriptions
Top Questions
Top Answers
78
Why do professors give talks on published work without their coauthors present at the seminars?
academia.stackexchange.com

36
Can I write "paper accepted without revisions" on a CV?
academia.stackexchange.com

28
What's the meaning of a set to the power of another set?
math.stackexchange.com

25
Classic type theory textbooks
math.stackexchange.com

20
Recommendation Letter Advice and Examples
academia.stackexchange.com

17
Troll Maths : Bijection between P(N) and N?
math.stackexchange.com

17
Rejecting infinity
math.stackexchange.com

12
What's the difference between "$\to$" (implication) and "$\vdash$" (therefore)?
math.stackexchange.com

12
Is there any direct application of Gödel's Theorems outside of logic?
math.stackexchange.com

11
What is the difference between a proposition and a theorem?
math.stackexchange.com

10
Comparative analysis of history of mathematics
mathoverflow.net

10
How much choice is needed to show that formally real fields can be ordered?
mathoverflow.net

9
Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above?
math.stackexchange.com

9
Is it advisable to have a master or PhD thesis topic in mind before entering graduate school?
academia.stackexchange.com

8
Curry-Howard correspondence
math.stackexchange.com

8
Ultrainfinitism, or a step beyond the transfinite
mathoverflow.net

7
Difference between contributed and invited talk
academia.stackexchange.com

6
Is a semirecursive (recursively semidecidable) set enumerable?
math.stackexchange.com

6
Is there a first-order-logic for calculus?
math.stackexchange.com

6
Absurd = Inconsistent?
math.stackexchange.com

6
Definition and meaning of "Proof Schema", "Class Sign"
math.stackexchange.com

6
Finite list of axioms of $\mathsf{ACA}_0$ - reference?
math.stackexchange.com

6
Greeting in cover letter to journal with 6 editors
academia.stackexchange.com

5
Ultra Filter and Axiom of Choice
math.stackexchange.com

5
Personal web page vs Academia.edu vs ResearchGate
academia.stackexchange.com

5
Is a paraconsistent and provably non-trivial foundation for math possible?
mathoverflow.net

5
Equivalences between statements of (seemingly) different order
mathoverflow.net