User Ed Dean

19 votes

Essential reads in the philosophy of mathematics and set theory

answered Apr 18, 2012 at 5:31

16 votes

Elementary + short + useful

answered Apr 3, 2011 at 21:29

13 votes

Accepted

Is the space of continuous functions from a compact metric space into a Polish space Polish?

answered Nov 14, 2010 at 4:17

13 votes

How much of ZFC does Quine's New Foundations prove?

answered Nov 26, 2010 at 15:40

13 votes

Set-Theoretic Issues/Categories

answered Apr 22, 2012 at 9:02

12 votes

Completion of ZFC

answered Nov 22, 2010 at 5:39

12 votes

Irreversible chess

answered Oct 22, 2011 at 15:33

11 votes

Higher categories in logic

answered Feb 23, 2012 at 18:18

11 votes

A question about Quine's set theory NF.

answered Sep 30, 2012 at 21:54

10 votes

Axiomatic Set Theory

answered May 5, 2012 at 21:14

9 votes

Accepted

What is the precise relation between Kolmogorov complexity and Shannon's entropy?

answered Jul 21, 2017 at 19:50

8 votes

Accepted

An undergraduate's guide to the foundational theorems of logic

answered Jan 18, 2012 at 3:27

7 votes

Accepted

History of Logic Development

answered Jan 18, 2012 at 7:51

7 votes

Accepted

Does model-complete in a language with a constant symbol imply EQ?

answered Dec 29, 2011 at 3:00

7 votes

Von Neumann's consistency proof

answered Jul 30, 2017 at 17:50

6 votes

What did Zermelo say he was hoping for on the consistency of set theory?

answered Jul 13, 2017 at 17:58

6 votes

Mathematical "urban legends"

answered Jan 25, 2011 at 4:31

6 votes

Accepted

Modal logic - satisfiability

answered Nov 13, 2010 at 20:10

6 votes

Accepted

A Game of Knights and Queens

answered Dec 3, 2010 at 19:25

6 votes

Accepted

Why does the Kleene Hierarchy not collapse?

answered Dec 19, 2010 at 8:48

5 votes

Independence of P = NP?

answered Dec 21, 2010 at 10:10

5 votes

Accepted

Alternate proof of Morley's theorem?

answered Feb 20, 2015 at 21:35

4 votes

Accepted

Is this system identical to S4.4?

answered Dec 26, 2013 at 3:45

4 votes

Accepted

Reference Request: Non-Standard Models of PA

answered Mar 2, 2012 at 13:04

4 votes

effective/constructive/algorithmic probability theory

answered Apr 3, 2012 at 5:10

4 votes

Accepted

Is there any literature about inner-replacement rule?

answered Dec 30, 2011 at 0:51

3 votes

FTA in first order setting

answered Nov 22, 2010 at 18:02

3 votes

Is there a general theory of models that has as instances classical FOL, classical propositional logic, etc.?

answered Jun 20, 2012 at 20:17

2 votes

Accepted

Name for Kneser/Johnson-like graphs?

answered Oct 26, 2013 at 1:46

2 votes

Accepted

Is it correct to state that basic primitive recursive functions are in fact combinators?

answered Dec 2, 2010 at 7:35

Stack Exchange Network

32 Answers

Essential reads in the philosophy of mathematics and set theory

Elementary + short + useful

Is the space of continuous functions from a compact metric space into a Polish space Polish?

How much of ZFC does Quine's New Foundations prove?

Set-Theoretic Issues/Categories

Completion of ZFC

Irreversible chess

Higher categories in logic

A question about Quine's set theory NF.

Axiomatic Set Theory

What is the precise relation between Kolmogorov complexity and Shannon's entropy?

An undergraduate's guide to the foundational theorems of logic

History of Logic Development

Does model-complete in a language with a constant symbol imply EQ?

Von Neumann's consistency proof

What did Zermelo say he was hoping for on the consistency of set theory?

Mathematical "urban legends"

Modal logic - satisfiability

A Game of Knights and Queens

Why does the Kleene Hierarchy not collapse?

Independence of P = NP?

Alternate proof of Morley's theorem?

Is this system identical to S4.4?

Reference Request: Non-Standard Models of PA

effective/constructive/algorithmic probability theory

Is there any literature about inner-replacement rule?

FTA in first order setting

Is there a general theory of models that has as instances classical FOL, classical propositional logic, etc.?

Name for Kneser/Johnson-like graphs?

Is it correct to state that basic primitive recursive functions are in fact combinators?