Top network posts

• 14 Do choice principles in all generic extensions imply AC in $V$?
• 12 Is this set theory equivalent to ZFC?
• 11 Does Foundation increase the strength of second-order logic?
• 11 Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$
• 11 Does ZF minus infinity imply collection?
• 10 What are some reasonable-sounding statements that are independent of ZFC?
• 9 Is $V=L$ equivalent to there being a $\Sigma_1$ well-ordering of the universe?
• View more network posts →