Proof-theoretic conservations of weak weak intuitionistic constructive set theories

DOI10.1016/J.APAL.2013.06.012zbMath1320.03089OpenAlexW2045335176MaRDI QIDQ490665

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

constructive mathematicsproof theoryset theoryclassical mathematical logicintuitionistic mathematical logic

Mathematics Subject Classification ID

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

Related Items (1)

A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP

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