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

DOI10.1016/j.apal.2007.09.001zbMath1136.03038OpenAlexW4291166560MaRDI QIDQ2463480

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

proof theoryexplicit mathematicsoperational set theoryclassical and constructive set theories

Mathematics Subject Classification ID

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

Related Items

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ Operational closure and stability ⋮ RELATIVIZING OPERATIONAL SET THEORY ⋮ Classes and truths in 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 ⋮ EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS ⋮ Operational set theory and small large cardinals ⋮ Unfolding Schematic Systems ⋮ The Operational Penumbra: Some Ontological Aspects ⋮ Full operational set theory with unbounded existential quantification and power set

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• Set theory. An introduction to independence proofs
• Constructivism in mathematics. An introduction. Volume I
• Fixed points in Peano arithmetic with ordinals
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Towards a computation system based on set theory
• Reflections on reflections in explicit mathematics
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• The Universe of Set Theory
• Infinitary logic and admissible sets