April the 19th

DOI10.1007/978-3-319-09719-0_18MaRDI QIDQ3454818zbMATH OpenOpenAlexFDO

Authors María Manzano

Publication date 27 November 2015

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09719-0_18

zbMATH Keywords

comprehension schemacorrespondence theoryextensions of first-order logicgeneral modelsLeon Henkinmany-sorted logicrule of substitutiontranslationstype theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 824731
• Henkin's theorem in textbooks
• scientific article; zbMATH DE number 3885853
• Henkin's completeness proof: Forty years later
• A concise introduction to mathematical logic

Cites work

• Banishing the rule of substitution for functional variables
• Completeness in the theory of types
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 753774 (Why is no real title available?)
• scientific article; zbMATH DE number 753781 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• Some notes on nominalism
• The completeness of the first-order functional calculus
• The Discovery of My Completeness Proofs

Cited in

(1)

• Identity, equality, nameability and completeness

This page was built for publication: April the 19th

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