Operational set theory and small large cardinals

DOI10.1016/J.IC.2008.04.007MaRDI QIDQ731889zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1126832
• The higher infinite. Large cardinals in set theory from their beginnings.
• Small definably-large cardinals
• Operations, sets and classes
• scientific article; zbMATH DE number 702561

Cites work

• scientific article; zbMATH DE number 3427335 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3685454 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• scientific article; zbMATH DE number 2204757 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• Abstract First Order Computability. I
• Constructivism in mathematics. An introduction. Volume I
• On Feferman's operational set theory \textsf{OST}
• Towards a computation system based on set theory

Cited in

(18)

• Foundations of unlimited category theory: what remains to be done
• Full and hat inductive definitions are equivalent in NBG
• Feferman's forays into the foundations of category theory
• The operational penumbra: some ontological aspects
• The Operational Perspective: Three Routes
• Explicit mathematics and operational set theory: some ontological comparisons
• Applicable mathematics in a minimal computational theory of sets
• Relativizing operational set theory
• On Feferman's operational set theory \textsf{OST}
• Extending constructive operational set theory by impredicative principles
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• Operational closure and stability
• Unfolding schematic systems
• Small definably-large cardinals
• Operations, sets and classes
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• 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

This page was built for publication: Operational set theory and small large cardinals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q731889)