Pages that link to "Item:Q639665"
From MaRDI portal
The following pages link to The strength of extensionality. II: Weak weak set theories without infinity (Q639665):
Displayed 4 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)
- Admissible closures of polynomial time computable arithmetic (Q634777) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)