Operational set theory and small large cardinals

DOI10.1016/J.IC.2008.04.007zbMATH Open1183.03044OpenAlexW1971165519MaRDI QIDQ731889FDOQ731889

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

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

zbMATH Keywords

operational set theoryoperational closure conditionssmall large cardinal notions

Mathematics Subject Classification ID

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

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Feferman's operational set theory \textsf{OST}
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract First Order Computability. I
• Title not available (Why is that?)
• Towards a computation system based on set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (18)

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

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)