Operational closure and stability

DOI10.1016/J.APAL.2013.01.004zbMATH Open1315.03090OpenAlexW2074590560MaRDI QIDQ385076FDOQ385076

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

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

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)

Cites Work

• Set theory. An introduction to independence proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Full operational set theory with unbounded existential quantification and power set
• On Feferman's operational set theory \textsf{OST}
• \(\Sigma^1_1\) choice in a theory of sets and classes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• Explicit mathematics with the monotone fixed point principle. II: Models
• Operations, sets and classes
• About the strength of operational regularity
• Operational set theory and small large cardinals

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
• Title not available (Why is that?)
• 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)