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 (12)

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

This page was built for publication: