scientific article; zbMATH DE number 1078591

MaRDI QIDQ4360862zbMATH OpenFDO

Authors Matti Eklund

Publication date 26 October 1997

zbMATH Keywords

first-order logicGödelsecond-order logicSkolem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 2110620
• Taming first-order logic
• scientific article; zbMATH DE number 1751350
• Foundations of Software Science and Computational Structures
• First-order logic: (philosophical) pro and contra
• scientific article; zbMATH DE number 638619
• scientific article; zbMATH DE number 1440090
• scientific article; zbMATH DE number 728192
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 7592011

Cited in

(6)

• Requiem for logical nihilism, or: logical nihilism annihilated
• First-order logic: (philosophical) pro and contra
• Metric Geometries in an Axiomatic Perspective
• The axiomatic destiny of the theorems of Pappus and Desargues
• Prolegomena to any theory of proof simplicity
• The axiomatics of ordered geometry: I. Ordered incidence spaces

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 Q4360862)