scientific article; zbMATH DE number 1136111

zbMath0921.03052MaRDI QIDQ4381421

Michael Rathjen

Publication date: 21 September 1999

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

zbMATH Keywords

proof theorylarge cardinalsordinal analysisordinal representation systemsordinal notation systemscollapsing functionsAczel's constructive set theory CZFinfinitary systems

Mathematics Subject Classification ID

Large cardinals (03E55) Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15)

Related Items

Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ Independence results around constructive ZF ⋮ CZF and second order arithmetic ⋮ Predicativity and Feferman ⋮ Inaccessibility in constructive set theory and type theory