User Thomas Benjamin

11 votes

Vopěnka's Principle for non-first-order logics

answered Jul 18, 2015 at 15:57

11 votes

Has decidability got something to do with primes?

answered Nov 23, 2015 at 9:11

9 votes

Why should we care about "higher infinities" outside of set theory?

answered Aug 28, 2015 at 21:07

8 votes

On independence and large cardinal strength of physical statements

answered Aug 31, 2017 at 3:47

7 votes

Accepted

A question about how much set theory can be developed based on the "subset" relation rather than the "elementhood" relation

answered Jul 6, 2016 at 13:22

7 votes

Belief in consistency of extremely large cardinals

answered Dec 2, 2016 at 11:14

7 votes

Why hasn't mereology succeeded as an alternative to set theory?

answered Jan 26, 2017 at 18:27

7 votes

How (non-)computable is set theory?

answered Jun 29, 2018 at 20:49

6 votes

Reinhardt's ultimate classes

answered May 7, 2022 at 3:29

5 votes

Is a paraconsistent and provably non-trivial foundation for math possible?

answered Nov 19, 2016 at 15:41

4 votes

Are Separation and Types the only way to avoid paradoxes?

answered Feb 8, 2017 at 11:58

4 votes

What are examples of good toy models in mathematics?

answered Jul 17, 2015 at 3:47

4 votes

Category-theoretic characterization of $L$

answered Aug 2, 2017 at 16:37

4 votes

Set theoretical multiverse and truths

answered Oct 30, 2017 at 12:29

4 votes

Axiom of Symmetry, aka Freiling's argument against CH

answered Sep 7, 2015 at 1:19

4 votes

Why should we believe in the axiom of regularity?

answered Sep 30, 2015 at 6:35

4 votes

Direct axiomatization of ordinal and cardinal numbers

answered Feb 8, 2016 at 19:35

3 votes

Is there a physically realizable inductive turing machine that can solve Hilbert's $10$th problem and can it overcome Church-Turing Hypothesis?

answered Dec 29, 2017 at 14:44

3 votes

Has Dedekind's proof of existence of infinite sets been analyzed by historians?

answered Jun 13, 2016 at 11:52

2 votes

Expert, Intuitive, Organizing Analogies

answered Mar 29, 2016 at 22:51

2 votes

Forcing over models without the axiom of choice

answered Feb 10, 2018 at 16:35

2 votes

Can we add set complements on top of ZF?

answered Feb 25, 2018 at 9:20

2 votes

Is the analysis as taught in universities in fact the analysis of definable numbers?

answered Aug 30, 2017 at 14:38

2 votes

Accepted

What kind of set theory is obtained from the canonical models of K?

answered Jul 23, 2016 at 9:54

2 votes

Literature on Kripke models

answered Sep 29, 2016 at 7:02

2 votes

Forcing and new ordinals

answered Nov 11, 2019 at 22:00

2 votes

Is V, the Universe of Sets, a fixed object?

answered Oct 23, 2018 at 18:54

2 votes

What is induction up to $\varepsilon_0$?

answered Sep 28, 2019 at 19:44

1 vote

On the utility of Silver machines

answered Jun 24, 2020 at 21:44

1 vote

Two questions regarding the reverse mathematics of Siegel's lemma

answered Apr 27, 2022 at 22:14

Stack Exchange Network

44 Answers

Vopěnka's Principle for non-first-order logics

Has decidability got something to do with primes?

Why should we care about "higher infinities" outside of set theory?

On independence and large cardinal strength of physical statements

A question about how much set theory can be developed based on the "subset" relation rather than the "elementhood" relation

Belief in consistency of extremely large cardinals

Why hasn't mereology succeeded as an alternative to set theory?

How (non-)computable is set theory?

Reinhardt's ultimate classes

Is a paraconsistent and provably non-trivial foundation for math possible?

Are Separation and Types the only way to avoid paradoxes?

What are examples of good toy models in mathematics?

Category-theoretic characterization of $L$

Set theoretical multiverse and truths

Axiom of Symmetry, aka Freiling's argument against CH

Why should we believe in the axiom of regularity?

Direct axiomatization of ordinal and cardinal numbers

Is there a physically realizable inductive turing machine that can solve Hilbert's $10$th problem and can it overcome Church-Turing Hypothesis?

Has Dedekind's proof of existence of infinite sets been analyzed by historians?

Expert, Intuitive, Organizing Analogies

Forcing over models without the axiom of choice

Can we add set complements on top of ZF?

Is the analysis as taught in universities in fact the analysis of definable numbers?

What kind of set theory is obtained from the canonical models of K?

Literature on Kripke models

Forcing and new ordinals

Is V, the Universe of Sets, a fixed object?

What is induction up to $\varepsilon_0$?

On the utility of Silver machines

Two questions regarding the reverse mathematics of Siegel's lemma