Pages that link to "Item:Q5485403"

The following pages link to Forcing under Anti‐Foundation Axiom: An expression of the stalks (Q5485403):

Displaying 7 items.

• Classes and truths in set theory (Q450946) (← links)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
• The strength of extensionality. I: Weak weak set theories with infinity (Q1006617) (← links)
• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
• Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
• Forcing with the Anti-Foundation axiom (Q3117780) (← links)