Publication:5494237
From MaRDI portal
zbMath1121.03065MaRDI QIDQ5494237
Publication date: 17 October 2006
03E70: Nonclassical and second-order set theories
03F50: Metamathematics of constructive systems
03E25: Axiom of choice and related propositions
Related Items
Countable sets versus sets that are countable in reverse mathematics, CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, From the weak to the strong existence property, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Problems, solutions, and completions, The effects of effects on constructivism, Characterizing the interpretation of set theory in Martin-Löf type theory