Pages that link to "Item:Q3117780"
From MaRDI portal
The following pages link to Forcing with the Anti-Foundation axiom (Q3117780):
Displaying 6 items.
- Definable forcing axiom: An alternative to Martin's axiom (Q914667) (← links)
- Forcing and antifoundation (Q2486987) (← links)
- Undirecting membership in models of anti-foundation (Q2662895) (← links)
- (Q3096588) (← links)
- ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION (Q5884258) (← links)
- Antifoundation and transitive closure in the system of Zermelo (Q5937852) (← links)