User Thomas Benjamin

69 votes

5 answers

10k views

What was Hilbert's view of Gödel's Incompleteness Theorems?

asked Nov 3, 2015 at 5:47

45 votes

1 answer

3k views

Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"

asked Jun 12, 2017 at 15:30

21 votes

3 answers

2k views

In What Way are Set Theorists' 'Experiences' in the CH Worlds Flawed, if Any?

asked Mar 21, 2012 at 7:07

18 votes

2 answers

1k views

What sort of cardinal number is the Löwenheim–Skolem number for second-order logic?

asked Jul 19, 2015 at 3:30

18 votes

2 answers

714 views

Category-theoretic characterization of $L$

asked Feb 20, 2017 at 12:09

13 votes

1 answer

2k views

Hausdorff and Naive Set Theory

asked Apr 14, 2012 at 10:07

10 votes

1 answer

834 views

Are there 'finitistic' nonrecursive functions (assuming Church's Thesis is false)?

asked Mar 9, 2016 at 17:55

9 votes

1 answer

1k views

How are material set theory and structural set theory related from the point of view of category theory?

asked Feb 9, 2017 at 8:56

8 votes

1 answer

1k views

Recursion theory from the standoint of category theory

asked Feb 27, 2017 at 8:51

8 votes

1 answer

485 views

A Question Regarding the Relation Between 0-sharp and Koepke's Bounded Truth Predicate.

asked Jun 6, 2013 at 20:57

6 votes

1 answer

617 views

Forcing in Ackermann's Set Theory

asked Aug 29, 2012 at 6:58

6 votes

2 answers

374 views

The role of the rigid relation principle ($RR$) in the Kunen inconsistency

asked Apr 6, 2015 at 12:14

6 votes

1 answer

729 views

Formulating Kunen's inconsistency and Reinhardt cardinals in term of category theory

asked May 10, 2015 at 8:34

6 votes

1 answer

209 views

Is $PRA$ + $TI({\epsilon_0})$ mutually interpretable with some theory in the language of set theory?

asked Dec 20, 2016 at 14:57

6 votes

3 answers

3k views

The Lucas argument vs the theorem-provers -- who wins and why?

asked Jun 27, 2019 at 19:49

5 votes

1 answer

485 views

Extensions of the Ackermann interpretation to nonstandard theories of arithmetic

asked Dec 29, 2016 at 4:59

5 votes

0 answers

947 views

Why are real-valued measurable cardinals never explicitly mentioned in Gödel's "What is Cantor's Continuum Problem"?

asked Sep 25, 2017 at 11:53

5 votes

2 answers

499 views

Critical points in $ZF$ without Choice

asked Jun 21, 2016 at 12:04

5 votes

0 answers

323 views

Can the Kunen inconsistency (or the existence of Reinhardt cardinals) be 'properly formulated' in Ackermann set theory?

asked Jul 5, 2016 at 2:28

5 votes

1 answer

460 views

A question regarding a common critique of Freiling's Axiom of Symmetry

asked Sep 28, 2015 at 11:48

5 votes

2 answers

387 views

A variant of Freiling's Axiom of Symmetry and a weak form of the Continuum Hypothesis in models where all sets of reals are Lebesgue measurable

asked Sep 29, 2015 at 11:24

4 votes

3 answers

1k views

A question regarding a remark of John Horton Conway

asked Aug 27, 2012 at 6:17

4 votes

1 answer

353 views

How large can the power set P(N) be made via forcing?

asked Mar 18, 2012 at 10:47

4 votes

1 answer

444 views

At what level of the analytic hierarchy do Cohen reals lie?

asked Nov 12, 2014 at 23:31

4 votes

1 answer

330 views

Forcing in $SEARC$

asked Feb 12, 2017 at 21:37

4 votes

0 answers

267 views

Proof theory and subsystems of second-order arithmetic: in particular the reverse mathematics of Godel's system $T$

asked Oct 23, 2019 at 19:29

3 votes

1 answer

625 views

Are the paradoxes of material or strict implication used anywhere to prove theorems in mathematics

asked Oct 18, 2016 at 16:04

3 votes

1 answer

394 views

Forcing in Second-Order Arithmetic

asked Nov 27, 2016 at 16:54

3 votes

1 answer

360 views

A Question Regarding Weak Diamond

asked Sep 17, 2014 at 15:45

3 votes

1 answer

339 views

A question regarding forcing extensions

asked Dec 3, 2014 at 19:08

Stack Exchange Network

90 Questions

What was Hilbert's view of Gödel's Incompleteness Theorems?

Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"

In What Way are Set Theorists' 'Experiences' in the CH Worlds Flawed, if Any?

What sort of cardinal number is the Löwenheim–Skolem number for second-order logic?

Category-theoretic characterization of $L$

Hausdorff and Naive Set Theory

Are there 'finitistic' nonrecursive functions (assuming Church's Thesis is false)?

How are material set theory and structural set theory related from the point of view of category theory?

Recursion theory from the standoint of category theory

A Question Regarding the Relation Between 0-sharp and Koepke's Bounded Truth Predicate.

Forcing in Ackermann's Set Theory

The role of the rigid relation principle ($RR$) in the Kunen inconsistency

Formulating Kunen's inconsistency and Reinhardt cardinals in term of category theory

Is $PRA$ + $TI({\epsilon_0})$ mutually interpretable with some theory in the language of set theory?

The Lucas argument vs the theorem-provers -- who wins and why?

Extensions of the Ackermann interpretation to nonstandard theories of arithmetic

Why are real-valued measurable cardinals never explicitly mentioned in Gödel's "What is Cantor's Continuum Problem"?

Critical points in $ZF$ without Choice

Can the Kunen inconsistency (or the existence of Reinhardt cardinals) be 'properly formulated' in Ackermann set theory?

A question regarding a common critique of Freiling's Axiom of Symmetry

A variant of Freiling's Axiom of Symmetry and a weak form of the Continuum Hypothesis in models where all sets of reals are Lebesgue measurable

A question regarding a remark of John Horton Conway

How large can the power set P(N) be made via forcing?

At what level of the analytic hierarchy do Cohen reals lie?

Forcing in $SEARC$

Proof theory and subsystems of second-order arithmetic: in particular the reverse mathematics of Godel's system $T$

Are the paradoxes of material or strict implication used anywhere to prove theorems in mathematics

Forcing in Second-Order Arithmetic

A Question Regarding Weak Diamond

A question regarding forcing extensions