scientific article; zbMATH DE number 5064954

zbMath1121.03065MaRDI QIDQ5494237

Michael Rathjen

Publication date: 17 October 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiom of choiceconstructive Zermelo-Fraenkel set theoryMartin-Löf intuitionistic type theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)

Related Items

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), Countable sets versus sets that are countable in reverse mathematics, The effects of effects on constructivism, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC, From the weak to the strong existence property, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Characterizing the interpretation of set theory in Martin-Löf type theory, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets, CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES, Problems, solutions, and completions, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions