Cumulative Higher-Order Logic as a Foundation for Set Theory

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2" /><147::AID-MALQ147>3.0.CO;2-2 10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2zbMath0958.03006OpenAlexW1986777423MaRDI QIDQ4487243

J. W. Degen, Jan Johannsen

Publication date: 22 March 2001

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200005)46:2<147::aid-malq147>3.0.co;2-2

zbMATH Keywords

higher-order logictype theorycomprehension principlelogical foundations of set theorysystems of transfinite cumulative types

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Relative consistency and interpretations (03F25)

Related Items (1)

AGAINST CUMULATIVE TYPE THEORY

This page was built for publication: Cumulative Higher-Order Logic as a Foundation for Set Theory