Full operational set theory with unbounded existential quantification and power set

DOI10.1016/j.apal.2009.01.010zbMath1175.03037OpenAlexW1976807840MaRDI QIDQ1024551

Gerhard Jäger

Publication date: 17 June 2009

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.2009.01.010

zbMATH Keywords

proof theoryoperational set theorytheories of sets and classes

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)

Related Items

Operational closure and stability, RELATIVIZING OPERATIONAL SET THEORY, A few more dissimilarities between second-order arithmetic and 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, Full and hat inductive definitions are equivalent in NBG, EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS, The Operational Penumbra: Some Ontological Aspects

Cites Work

• Operational set theory and small large cardinals
• Proof theory. 2nd ed
• Fixed points in Peano arithmetic with ordinals
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• On Feferman's operational set theory \textsf{OST}
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• Beweistheorie vonKPN
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item