Pages that link to "Item:Q2765565"
From MaRDI portal
The following pages link to Kripke-Platek set theory and the anti-foundation axiom (Q2765565):
Displaying 6 items.
- 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)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)