April the 19th

DOI10.1007/978-3-319-09719-0_18zbMath1330.03005OpenAlexW150622181MaRDI QIDQ3454818

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

translationstype theorycorrespondence theorymany-sorted logicLeon Henkingeneral modelscomprehension schemaextensions of first-order logicrule of substitution

Mathematics Subject Classification ID

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

Related Items (1)

Identity, Equality, Nameability and Completeness

Cites Work

• Some notes on nominalism
• The Discovery of My Completeness Proofs
• The completeness of the first-order functional calculus
• Completeness in the theory of types
• Banishing the rule of substitution for functional variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: April the 19th