scientific article; zbMATH DE number 5226276
From MaRDI portal
Publication:5435636
zbMath1128.03047MaRDI QIDQ5435636
Publication date: 14 January 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)
Related Items
CZF does not have the existence property, INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN, Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience, 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, Characterizing the interpretation of set theory in Martin-Löf type theory, The natural numbers in constructive set theory, Proof Theory of Constructive Systems: Inductive Types and Univalence, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, On the compatibility between the minimalist foundation and constructive set theory
