Concluding Comments by Martin

DOI10.1007/978-3-319-41842-1_15zbMath1439.03008OpenAlexW2585687743MaRDI QIDQ3305329

Martin Davis

Publication date: 6 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41842-1_15

zbMATH Keywords

modal logiclarge cardinaluniversal quantifierWoodin cardinalexistential quantification

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Modal Platonism: an easy way to avoid ontologial commitment to abstract entities
• David Hilbert and his mathematical work

This page was built for publication: Concluding Comments by Martin