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):
Displaying 5 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)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)
