Operational closure and stability

DOI10.1016/j.apal.2013.01.004zbMath1315.03090OpenAlexW2074590560MaRDI QIDQ385076

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) Nonclassical and second-order set theories (03E70) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Relative consistency and interpretations (03F25)

Related Items

RELATIVIZING OPERATIONAL 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, EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS, The Operational Penumbra: Some Ontological Aspects

Cites Work

• Operational set theory and small large cardinals
• Full operational set theory with unbounded existential quantification and power set
• Set theory. An introduction to independence proofs
• On Feferman's operational set theory \textsf{OST}
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• Explicit mathematics with the monotone fixed point principle. II: Models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item