Operational set theory and small large cardinals

DOI10.1016/j.ic.2008.04.007zbMath1183.03044OpenAlexW1971165519MaRDI QIDQ731889

Solomon Feferman

Publication date: 9 October 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.04.007

zbMATH Keywords

operational set theoryoperational closure conditionssmall large cardinal notions

Mathematics Subject Classification ID

Large cardinals (03E55) Nonclassical and second-order set theories (03E70)

Related Items

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS, Operational closure and stability, RELATIVIZING OPERATIONAL SET THEORY, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, The Operational Perspective: Three Routes, Extending constructive operational set theory by impredicative principles, Applicable Mathematics in a Minimal Computational Theory of Sets, FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE, Full and hat inductive definitions are equivalent in NBG, EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS, Unfolding Schematic Systems, The Operational Penumbra: Some Ontological Aspects, Feferman’s Forays into the Foundations of Category Theory, Full operational set theory with unbounded existential quantification and power set, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Towards a computation system based on set theory
• On Feferman's operational set theory \textsf{OST}
• Abstract First Order Computability. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item