Relativizing operational set theory

DOI10.1017/BSL.2016.11MaRDI QIDQ5346703zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 26 May 2017

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/42d5ec55c2ea3666ce5f6f4fc2307c2c909e6f5d

zbMATH Keywords

Kripke-Platek set theoryoperational set theoryproof theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50)

Recommendations

• On Feferman's operational set theory \textsf{OST}
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• About the strength of operational regularity
• Operational set theory and small large cardinals
• Operational closure and stability

Cites work

• A well-ordering proof for Feferman's theoryT 0
• About the strength of operational regularity
• Constructivism in mathematics. An introduction. Volume I
• Elementary constructive operational set theory
• Explicit mathematics and operational set theory: some ontological comparisons
• Extending constructive operational set theory by impredicative principles
• Full operational set theory with unbounded existential quantification and power set
• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3702644 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• On Feferman's operational set theory \textsf{OST}
• Operational closure and stability
• Operational set theory and small large cardinals
• Operations, sets and classes
• Set theory. An introduction to independence proofs

Cited in

(7)

• Full operational set theory with unbounded existential quantification and power set
• On Feferman's operational set theory \textsf{OST}
• The Operational Perspective: Three Routes
• Operational closure and stability
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• About the strength of operational regularity
• The operational penumbra: some ontological aspects

This page was built for publication: Relativizing operational set theory

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