Top network posts

• 14 Do choice principles in all generic extensions imply AC in $V$?
• 13 Does Foundation increase the strength of second-order logic?
• 12 Is this set theory equivalent to ZFC?
• 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 Definitional complexity of truth in $L$ without $0^{\#}$
• View more network posts →