Operational closure and stability
From MaRDI portal
Publication:385076
DOI10.1016/j.apal.2013.01.004zbMath1315.03090OpenAlexW2074590560MaRDI QIDQ385076
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
stabilityproof theoryKripke-Platek set theory\(\Sigma_1\) separationoperational closureoperational set theory
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