Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
Elliot Glazer
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
14
votes
Do choice principles in all generic extensions imply AC in $V$?
set-theory
forcing
axiom-of-choice
asked Jul 31 '18 at 17:58
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 '20 at 5:12
mathoverflow.net
11
votes
Does Foundation increase the strength of second-order logic?
set-theory
lo.logic
asked Jun 1 '18 at 20:45
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 '17 at 21:18
mathoverflow.net
9
votes
How many iterations of inner models/generic extensions are sufficient?
set-theory
forcing
asked May 28 '18 at 3:59
mathoverflow.net
8
votes
Definitional complexity of truth in $L$ without $0^{\#}$
set-theory
asked May 8 '17 at 16:00
mathoverflow.net
7
votes
Absoluteness, reflection to ctms, and choice in outer models
set-theory
asked May 13 '17 at 16:57
mathoverflow.net
7
votes
Is there an algorithm for extending a complete set theory to one with classes?
set-theory
asked May 18 '18 at 2:20
math.stackexchange.com
7
votes
A theory which seems to have proof-theoretic ordinal $\omega_1^{CK}$
logic
computability
proof-theory
asked Nov 9 '18 at 10:00
math.stackexchange.com
7
votes
Can $V$ only have well-orderings definable with respect to a parameter?
set-theory
asked Jan 10 '16 at 21:59
math.stackexchange.com
1
2
next
Top Answers
12
Is this set theory equivalent to ZFC?
mathoverflow.net
11
Does ZF minus infinity imply collection?
mathoverflow.net
10
What are some reasonable-sounding statements that are independent of ZFC?
mathoverflow.net
9
Can one exhibit an explicit Kuratowski infinite set without invoking Replacement?
mathoverflow.net
8
Is $\in$-induction provable in first order Zermelo set theory?
mathoverflow.net
8
Can we make ZF − infinity + “all ordinals are finite” as strong as ZFC?
mathoverflow.net
6
Stronger negation of AC given by rejecting “infinite hat” puzzles
mathoverflow.net
6
Products of Cohen forcings
mathoverflow.net
5
Can we prove the existence of $A\cup B$ without the union axiom?
math.stackexchange.com
5
Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$
mathoverflow.net
Stack Exchange works best with JavaScript enabled