User Thomas Benjamin

69 votes

5 answers

9k 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

15 votes

1 answer

519 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

9 votes

1 answer

981 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

9 votes

1 answer

795 views

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

asked Mar 9, 2016 at 17:55

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

458 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

604 views

Forcing in Ackermann's Set Theory

asked Aug 29, 2012 at 6:58

6 votes

2 answers

360 views

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

asked Apr 6, 2015 at 12:14

6 votes

1 answer

706 views

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

asked May 10, 2015 at 8:34

6 votes

1 answer

198 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

468 views

Extensions of the Ackermann interpretation to nonstandard theories of arithmetic

asked Dec 29, 2016 at 4:59

5 votes

0 answers

923 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

0 answers

316 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

2 answers

485 views

Critical points in $ZF$ without Choice

asked Jun 21, 2016 at 12:04

5 votes

1 answer

440 views

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

asked Sep 28, 2015 at 11:48

5 votes

2 answers

378 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

1 answer

343 views

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

asked Mar 18, 2012 at 10:47

4 votes

1 answer

354 views

A Question Regarding Weak Diamond

asked Sep 17, 2014 at 15:45

4 votes

1 answer

423 views

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

asked Nov 12, 2014 at 23:31

4 votes

1 answer

321 views

Forcing in $SEARC$

asked Feb 12, 2017 at 21:37

4 votes

0 answers

252 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

372 views

Forcing in Second-Order Arithmetic

asked Nov 27, 2016 at 16:54

3 votes

1 answer

604 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

303 views

A question regarding forcing extensions

asked Dec 3, 2014 at 19:08

3 votes

0 answers

678 views

Can there be ordinals larger than those contained in Ord, and if so, can they be used to extend the constructible universe $L$?

asked Dec 6, 2014 at 1:01

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

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

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

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"?

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

Critical points in $ZF$ without Choice

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

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

A Question Regarding Weak Diamond

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$

Forcing in Second-Order Arithmetic

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

A question regarding forcing extensions

Can there be ordinals larger than those contained in Ord, and if so, can they be used to extend the constructible universe $L$?