Pages that link to "Item:Q731889"
From MaRDI portal
The following pages link to Operational set theory and small large cardinals (Q731889):
Displayed 15 items.
- Operational closure and stability (Q385076) (← 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)
- Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← 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)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE (Q4918375) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)