User Elliot Glazer

Elliot Glazer

Member for 5 years, 1 month
Last seen this week

8 Questions

Score Activity Newest Views

17 votes

2 answers

665 views

Do choice principles in all generic extensions imply AC in $V$?

asked Jul 31, 2018 at 17:58

13 votes

0 answers

401 views

Does Foundation increase the strength of second-order logic?

set-theory lo.logic higher-order-logics

asked Jun 1, 2018 at 20:45

11 votes

1 answer

415 views

Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$

set-theory axiom-of-choice cardinal-arithmetic

asked Nov 17, 2020 at 5:12

9 votes

1 answer

322 views

Definitional complexity of truth in $L$ without $0^{\#}$

set-theory

asked May 8, 2017 at 16:00

9 votes

1 answer

303 views

Is $V=L$ equivalent to there being a $\Sigma_1$ well-ordering of the universe?

set-theory descriptive-set-theory

asked Aug 7, 2017 at 21:18

9 votes

0 answers

247 views

How many iterations of inner models/generic extensions are sufficient?

set-theory forcing

asked May 28, 2018 at 3:59

7 votes

1 answer

324 views

Absoluteness, reflection to ctms, and choice in outer models

set-theory

asked May 13, 2017 at 16:57

6 votes

1 answer

257 views

Definability of isomorphisms between class well-orderings

set-theory

asked May 24, 2017 at 3:08

Stack Exchange Network

current community

your communities

more stack exchange communities

8 Questions

Do choice principles in all generic extensions imply AC in $V$?

Does Foundation increase the strength of second-order logic?

Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$

Definitional complexity of truth in $L$ without $0^{\#}$

Is $V=L$ equivalent to there being a $\Sigma_1$ well-ordering of the universe?

How many iterations of inner models/generic extensions are sufficient?

Absoluteness, reflection to ctms, and choice in outer models

Definability of isomorphisms between class well-orderings