User Thomas Benjamin

3 votes

0 answers

706 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

3 votes

1 answer

417 views

Some questions on (non)-measurable sets without AC

asked Jan 8, 2015 at 15:59

3 votes

0 answers

342 views

A Question Regarding Boolean-valued Models

asked Nov 23, 2012 at 5:52

3 votes

0 answers

137 views

A question regarding forcing in $NGBC^{-f}$+$BAFA$

asked Oct 9, 2015 at 6:49

3 votes

0 answers

158 views

Defining Global Choice in terms of strong limit cardinals over $ZF$

asked Aug 22, 2015 at 19:49

2 votes

1 answer

377 views

Class forcings and elementary embeddings

asked Jul 26, 2015 at 14:29

2 votes

1 answer

438 views

The patterns of possibility for nontrivial automorphisms and nontrivial elementary embeddings of the universe

asked Apr 12, 2015 at 7:41

2 votes

0 answers

134 views

A question regarding an analogue of the Kleene $T$-predicate for Koepke's ordinal computability

asked Oct 23, 2015 at 12:21

2 votes

0 answers

179 views

Some questions regarding an alteration of Grzegorczyk's theory of concatenation, $\operatorname{TC}$

asked Dec 1, 2015 at 8:03

2 votes

0 answers

676 views

Boolean-Valued Models vs. the Infinite-valued Logic of Lukasiewicz and set theory

asked Jan 20, 2012 at 0:25

2 votes

1 answer

583 views

A question regarding the Hahn-Banach theorem

asked Jan 9, 2015 at 16:12

2 votes

3 answers

855 views

What is the largest large-cardinal hypothesis consistent with $ZFC + V=L$?

asked Dec 8, 2016 at 17:34

2 votes

1 answer

459 views

Is the statement "All numbers are counting numbers" independent of $PA$?

asked Dec 13, 2016 at 12:33

2 votes

1 answer

337 views

A question regarding the consistency of Nelson's Predicative Arithmetic

asked Jan 6, 2016 at 16:06

2 votes

2 answers

459 views

What are the sense and reference of the propositions $R \notin R$, $R \in R$, where $R=\{x \mid x \notin x\}$ in Frege's Grundgesetze?

asked May 6, 2016 at 5:21

2 votes

0 answers

325 views

The universe and multiverse views of set theory from the perspective of $ZFC^2$

asked Dec 24, 2017 at 9:51

2 votes

2 answers

99 views

Are finite subsets of bi-immune sets random?

asked Apr 22, 2021 at 21:15

2 votes

2 answers

561 views

Are ITTM's necessary to compute Turing's "computable numbers" and what does that mean for ordinary recursion theory?

asked May 27, 2021 at 21:02

2 votes

1 answer

254 views

Sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$

asked Dec 30, 2014 at 11:26

2 votes

1 answer

389 views

Two questions regarding the reverse mathematics of Siegel's lemma

asked Apr 9, 2022 at 20:32

1 vote

0 answers

313 views

Is there a second-order expression of '$\kappa$ is Reinhardt' in $NGB$, where $\kappa$ is a cardinal?

asked Feb 6, 2020 at 0:43

1 vote

2 answers

837 views

Is there an analogue of the Lost Melody Theorem in ordinary recursion theory and if not, why not?

asked Mar 24, 2021 at 17:23

1 vote

1 answer

466 views

What does "can almost be proven in PA" mean regarding Theorem 2 of Timothy Chow's expository article, "The Consistency of Arithmetic"?

asked Jul 16, 2019 at 18:50

1 vote

1 answer

228 views

Is there a 'Constructible Universe' that is a submodel of a non-transitive model of $ZF$?

asked Aug 27, 2017 at 7:50

1 vote

1 answer

311 views

Forcing the consistency of $ZF$ from a fragment of $ZF$

asked Jan 9, 2017 at 8:50

1 vote

0 answers

104 views

Second-order characterizability and forcing

asked Mar 25, 2017 at 6:52

1 vote

0 answers

125 views

Can $GPK^{+}_{\infty}$ + $AC_{WF}$ prove "$ZFC$ proves that the class of ordinals is not weakly compact for definable classes?

asked Apr 26, 2017 at 14:38

1 vote

0 answers

143 views

Can Basic Law $V$ be derived from Leibniz's Law in Second-Order Logic without comprehension principles?

asked Jun 3, 2016 at 10:54

1 vote

0 answers

265 views

Can Dedekind's 'proof' of the existence of infinite sets be properly formulated and carried out in positive set theory?

asked Jun 9, 2016 at 10:30

1 vote

1 answer

400 views

What restriction(s) of Goedel's primitive recursive functionals is (are) necessary and sufficient to prove the consistency of $PRA$

asked Jan 14, 2016 at 7:40

Stack Exchange Network

90 Questions

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

Some questions on (non)-measurable sets without AC

A Question Regarding Boolean-valued Models

A question regarding forcing in $NGBC^{-f}$+$BAFA$

Defining Global Choice in terms of strong limit cardinals over $ZF$

Class forcings and elementary embeddings

The patterns of possibility for nontrivial automorphisms and nontrivial elementary embeddings of the universe

A question regarding an analogue of the Kleene $T$-predicate for Koepke's ordinal computability

Some questions regarding an alteration of Grzegorczyk's theory of concatenation, $\operatorname{TC}$

Boolean-Valued Models vs. the Infinite-valued Logic of Lukasiewicz and set theory

A question regarding the Hahn-Banach theorem

What is the largest large-cardinal hypothesis consistent with $ZFC + V=L$?

Is the statement "All numbers are counting numbers" independent of $PA$?

A question regarding the consistency of Nelson's Predicative Arithmetic

What are the sense and reference of the propositions $R \notin R$, $R \in R$, where $R=\{x \mid x \notin x\}$ in Frege's Grundgesetze?

The universe and multiverse views of set theory from the perspective of $ZFC^2$

Are finite subsets of bi-immune sets random?

Are ITTM's necessary to compute Turing's "computable numbers" and what does that mean for ordinary recursion theory?

Sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$

Two questions regarding the reverse mathematics of Siegel's lemma

Is there a second-order expression of '$\kappa$ is Reinhardt' in $NGB$, where $\kappa$ is a cardinal?

Is there an analogue of the Lost Melody Theorem in ordinary recursion theory and if not, why not?

What does "can almost be proven in PA" mean regarding Theorem 2 of Timothy Chow's expository article, "The Consistency of Arithmetic"?

Is there a 'Constructible Universe' that is a submodel of a non-transitive model of $ZF$?

Forcing the consistency of $ZF$ from a fragment of $ZF$

Second-order characterizability and forcing

Can $GPK^{+}_{\infty}$ + $AC_{WF}$ prove "$ZFC$ proves that the class of ordinals is not weakly compact for definable classes?

Can Basic Law $V$ be derived from Leibniz's Law in Second-Order Logic without comprehension principles?

Can Dedekind's 'proof' of the existence of infinite sets be properly formulated and carried out in positive set theory?

What restriction(s) of Goedel's primitive recursive functionals is (are) necessary and sufficient to prove the consistency of $PRA$