Operational closure and stability

DOI10.1016/J.APAL.2013.01.004MaRDI QIDQ385076zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 29 November 2013

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

zbMATH Keywords

stabilityproof theoryKripke-Platek set theory\(\Sigma_1\) separationoperational closureoperational set theory

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Nonclassical and second-order set theories (03E70) Relative consistency and interpretations (03F25)

Recommendations

• On Feferman's operational set theory \textsf{OST}
• Operational set theory and small large cardinals
• Relativizing operational set theory
• About the strength of operational regularity
• Elementary constructive operational set theory

Cites work

• scientific article; zbMATH DE number 432707 (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 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• About the strength of operational regularity
• Explicit mathematics with the monotone fixed point principle. II: Models
• Full operational set theory with unbounded existential quantification and power set
• On Feferman's operational set theory \textsf{OST}
• Operational set theory and small large cardinals
• Operations, sets and classes
• Set theory. An introduction to independence proofs
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• \(\Sigma^1_1\) choice in a theory of sets and classes

Cited in

(8)

• Relativizing operational set theory
• Explicit mathematics and operational set theory: some ontological comparisons
• The Operational Perspective: Three Routes
• About the strength of operational regularity
• The operational penumbra: some ontological aspects
• scientific article; zbMATH DE number 3872730 (Why is no real title available?)
• 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

This page was built for publication: Operational closure and stability

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