scientific article; zbMATH DE number 799319

MaRDI QIDQ4847766zbMATH OpenFDO

Authors Wolfgang Degen

Publication date 22 April 1996

zbMATH Keywords

logicisminfinitary type theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)

Recommendations

• Cumulative Higher-Order Logic as a Foundation for Set Theory
• A simple type theory without Platonic domains
• Complete infinitary type logics
• scientific article; zbMATH DE number 3853032
• scientific article; zbMATH DE number 2152246

Cited in

(4)

• Logicism and the problem of infinity: the number of numbers
• The prehistory of infinitary logic: 1885-1955
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• Complete infinitary type logics

This page was built for publication:

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