The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs

DOI10.1007/978-3-319-31644-4_17zbMath1436.03069OpenAlexW2499038498MaRDI QIDQ3295830

Samantha Pollock

Publication date: 13 July 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-31644-4_17

zbMATH Keywords

realismcategoricityformalisation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is the axiomatic method?
• Informal proofs and mathematical rigour
• The objectivity of mathematics
• On Arbitrary sets andZFC
• VI.—ON FORMALIZATION
• Second-order languages and mathematical practice
• Second-Order Logic and Foundations of Mathematics
• The Significance of Non-Standard Models
• Categoricity
• WHAT CAN A CATEGORICITY THEOREM TELL US?
• Computational Structuralism†
• Multiple universes of sets and indeterminate truth values

This page was built for publication: The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs