Pages that link to "Item:Q1006617"
From MaRDI portal
The following pages link to The strength of extensionality. I: Weak weak set theories with infinity (Q1006617):
Displaying 5 items.
- 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)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← 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)
