The following pages link to Forcing and antifoundation (Q2486987):
Displaying 5 items.
- Forcing in admissible sets (Q1191174) (← links)
- An axiomatic approach to forcing and generic extensions (Q2209009) (← links)
- Undirecting membership in models of anti-foundation (Q2662895) (← links)
- Forcing with the Anti-Foundation axiom (Q3117780) (← links)
- Antifoundation and transitive closure in the system of Zermelo (Q5937852) (← links)