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 4 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)
