On Feferman's operational set theory \textsf{OST}

DOI10.1016/J.APAL.2007.09.001MaRDI QIDQ2463480zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 12 December 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2007.09.001

zbMATH Keywords

classical and constructive set theoriesexplicit mathematicsoperational set theoryproof theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50)

Review text

The author provides a proof-theoretic analysis of the operational set theory \textsf{OST}, introduced by S.~Feferman, and some of its extensions. The language of \textsf{OST} extends the one of usual set theory by operations which mimic the applicative structure of Feferman's explicit mathematics. It contains, in particular, operations for separation (for definite operations), replacement, and choice. It can be strengthened by a power set operation \(\mathbb{P}\) and an operator for unbounded quantification \(\mathbf{E}\). The theories \textsf{OST} and \textsf{OST}\(^r({\mathbf{E}},\mathbb{P})\) are shown to be equiconsistent with \textsf{KP}\(\omega\) and \textsf{ZFC}, respectively; the exact strength of \textsf{OST}\((\mathbb{P})\) is still unknown, but is shown to be between \textsf{KP}\((\mathcal{P})\) and \textsf{KP}\((\mathcal{P}) + (V = L)\) (where \textsf{KP}\((\mathcal{P})\) is Kripke-Platek set theory for power admissible sets).

Recommendations

• Operations, sets and classes
• Full operational set theory with unbounded existential quantification and power set
• About the strength of operational regularity
• Operational set theory and small large cardinals
• Relativizing operational set theory

Cites work

• Constructive set theory with operations
• Constructivism in mathematics. An introduction. Volume I
• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• Fixed points in Peano arithmetic with ordinals
• scientific article; zbMATH DE number 432707 (Why is no real title available?)
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4006266 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 1870423 (Why is no real title available?)
• Infinitary logic and admissible sets
• Reflections on reflections in explicit mathematics
• Set theory. An introduction to independence proofs
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• The Universe of Set Theory
• Towards a computation system based on set theory
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

Cited in

(16)

• 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
• The Operational Perspective: Three Routes
• Operational closure and stability
• Classes and truths in set theory
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• Operations, sets and classes
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Conservativity of transitive closure over weak constructive operational set theory
• About the strength of operational regularity
• Power Kripke-Platek set theory and the axiom of choice
• Unfolding schematic systems
• The operational penumbra: some ontological aspects
• Relativizing operational set theory
• Operational set theory and small large cardinals

This page was built for publication: On Feferman's operational set theory \textsf{OST}

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