Stack Exchange

Elliot Glazer

top accounts reputation activity bookmarks subscriptions
Top Questions
17 votes

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

set-theory forcing axiom-of-choice asked Jul 31, 2018 at 17:58
mathoverflow.net

13 votes

Does Foundation increase the strength of second-order logic?

set-theory lo.logic higher-order-logics asked Jun 1, 2018 at 20:45
mathoverflow.net

11 votes

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
mathoverflow.net

9 votes

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

set-theory asked May 8, 2017 at 16:00
mathoverflow.net

9 votes

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
mathoverflow.net

9 votes

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

set-theory forcing asked May 28, 2018 at 3:59
mathoverflow.net

7 votes

Absoluteness, reflection to ctms, and choice in outer models

set-theory asked May 13, 2017 at 16:57
mathoverflow.net

7 votes

Can $V$ only have well-orderings definable with respect to a parameter?

set-theory asked Jan 10, 2016 at 21:59
math.stackexchange.com

7 votes

Can a Banach measure be consistent with Friedman's Fubini-type theorem for non-measurable functions?

measure-theory set-theory descriptive-set-theory asked Jan 30, 2016 at 6:50
math.stackexchange.com

7 votes

Can additional predicates "eliminate" nonstandard models of true arithmetic?

model-theory nonstandard-models asked Sep 18, 2016 at 14:56
math.stackexchange.com

1 2

Top Answers