Cumulative Higher-Order Logic as a Foundation for Set Theory

DOI10.1002/(SICI)1521-3870(200005)46:2%3C147::AID-MALQ147%3E3.0.CO;2-2MaRDI QIDQ4487243zbMATHOpenAlexFDO

Authors Wolfgang Degen, Jan Johannsen

Publication date 22 March 2001

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C147::aid-malq147%3E3.0.co;2-2

zbMATH Keywords

type theoryhigher-order logiccomprehension 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)

Recommendations

• scientific article; zbMATH DE number 3853032
• Some generalizations to two systems of set theory based on combinatory logic
• Complete infinitary type logics
• scientific article; zbMATH DE number 3313431
• scientific article; zbMATH DE number 799319

Cited in

(9)

• AGAINST CUMULATIVE TYPE THEORY
• scientific article; zbMATH DE number 3853032 (Why is no real title available?)
• scientific article; zbMATH DE number 799319 (Why is no real title available?)
• Complete infinitary type logics
• Models of Second-Order Zermelo Set Theory
• scientific article; zbMATH DE number 3991489 (Why is no real title available?)
• scientific article; zbMATH DE number 3313431 (Why is no real title available?)
• scientific article; zbMATH DE number 7333175 (Why is no real title available?)
• Stratified and positive comprehension seen as superclass rules over ordinary set theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487243)