Full operational set theory with unbounded existential quantification and power set

DOI10.1016/J.APAL.2009.01.010zbMATH Open1175.03037OpenAlexW1976807840MaRDI QIDQ1024551FDOQ1024551

Authors: 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

Recommendations

• On Feferman's operational set theory \textsf{OST}
• Elementary constructive operational set theory
• Operations, sets and classes
• Relativizing operational set theory
• Operational set theory and small large cardinals

zbMATH Keywords

proof theoryoperational set theorytheories of sets and classes

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory. 2nd ed
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Operational set theory and small large cardinals
• Title not available (Why is that?)
• Fixed points in Peano arithmetic with ordinals
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• Constructive set theory with operations
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
• Title not available (Why is that?)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Beweistheorie vonKPN

Cited In (14)

• Relativizing operational set theory
• Title not available (Why is that?)
• Classes and truths in set theory
• Explicit mathematics and operational set theory: some ontological comparisons
• Extending constructive operational set theory by impredicative principles
• The Operational Perspective: Three Routes
• Operations, sets and classes
• The operational penumbra: some ontological aspects
• On Feferman's operational set theory \textsf{OST}
• 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
• Elementary constructive operational set theory
• A few more dissimilarities between second-order arithmetic and set theory
• Operational closure and stability

This page was built for publication: Full operational set theory with unbounded existential quantification and power set

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