Pages that link to "Item:Q639665"

The following pages link to The strength of extensionality. II: Weak weak set theories without infinity (Q639665):

Displaying 3 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)