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-2zbMATH Open0958.03006OpenAlexW1986777423MaRDI QIDQ4487243FDOQ4487243

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

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

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)

Cited In (9)

• Title not available (Why is that?)
• Stratified and positive comprehension seen as superclass rules over ordinary set theory
• AGAINST CUMULATIVE TYPE THEORY
• Title not available (Why is that?)
• Models of Second-Order Zermelo Set Theory
• Title not available (Why is that?)
• Complete infinitary type logics
• Title not available (Why is that?)
• Title not available (Why is that?)

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)