Operational set theory and small large cardinals

DOI10.1016/j.ic.2008.04.007zbMath1183.03044MaRDI 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 theory; operational closure conditions; small large cardinal notions

Mathematics Subject Classification ID

03E55: Large cardinals

03E70: Nonclassical and second-order set theories

Related Items

FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE, Operational closure and stability, A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP, Full operational set theory with unbounded existential quantification and power set, Full and hat inductive definitions are equivalent in NBG, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\), Extending constructive operational set theory by impredicative principles

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