Pages that link to "Item:Q2463480"

The following pages link to On Feferman's operational set theory \textsf{OST} (Q2463480):

Displaying 12 items.

• Operational closure and stability (Q385076) (← links)
• 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)
• Operational set theory and small large cardinals (Q731889) (← links)
• Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
• EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201) (← links)
• Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
• Unfolding Schematic Systems (Q5214786) (← links)
• The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
• RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)