Full operational set theory with unbounded existential quantification and power set

DOI10.1016/J.APAL.2009.01.010MaRDI QIDQ1024551zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• 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 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• Beweistheorie vonKPN
• Constructive set theory with operations
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
• Fixed points in Peano arithmetic with ordinals
• On Feferman's operational set theory \textsf{OST}
• Operational set theory and small large cardinals
• Proof theory. 2nd ed
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory

Cited in

(14)

• Relativizing operational set theory
• scientific article; zbMATH DE number 23190 (Why is no real title available?)
• 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)