Proof-theoretic conservations of weak weak intuitionistic constructive set theories

DOI10.1016/J.APAL.2013.06.012MaRDI QIDQ490665zbMATH OpenOpenAlexFDO

Authors L. N. Gordeev

Publication date 27 August 2015

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

zbMATH Keywords

proof theoryconstructive mathematicsset theoryclassical mathematical logicintuitionistic mathematical logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Axiomatics of classical set theory and its fragments (03E30) Intuitionistic mathematics (03F55)

Recommendations

• Conservativity of transitive closure over weak constructive operational set theory
• The basic constructive logic for weak consistency and the reductio axioms
• About the proof-theoretic ordinals of weak fixed point theories
• A constructive consistency proof of a fragment of set theory
• Separations of theories in weak bounded arithmetic
• Publication:4884540
• A nominalistic proof of the conservativeness of set theory
• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
• Proof theory of paraconsistent weak Kleene logic
• scientific article; zbMATH DE number 3841848

Cited in

(4)

• scientific article; zbMATH DE number 2186953 (Why is no real title available?)
• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Proof-theoretical analysis: Weak systems of functions and classes

This page was built for publication: Proof-theoretic conservations of weak weak intuitionistic constructive set theories

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