Proof-theoretic conservations of weak weak intuitionistic constructive set theories
DOI10.1016/J.APAL.2013.06.012zbMATH Open1320.03089OpenAlexW2045335176MaRDI QIDQ490665FDOQ490665
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
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
proof theoryconstructive mathematicsset theoryclassical mathematical logicintuitionistic mathematical logic
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)
Cited In (4)
- 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
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- 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)
