scientific article; zbMATH DE number 5269065

zbMath1137.03034MaRDI QIDQ5384979

Michael Rathjen

Publication date: 29 April 2008

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

zbMATH Keywords

disjunction propertyprogram extraction from proofsintuitionistic Zermelo-Fraenkel set theoryconstructive Zermelo-Fraenkel set theorynumerical existence propertyChurch's rule

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

CZF does not have the existence property, Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory, Choice and independence of premise rules in intuitionistic set theory, Realisability for infinitary intuitionistic set theory, From the weak to the strong existence property, Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory, Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets