On the virtue of categoricity

DOI10.1215/00294527-2021-0005OpenAlexW3171011853MaRDI QIDQ1981999

Paul Anh Tran-Hoang

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0005

zbMATH Keywords

first-order logicsecond-order logiccategoricityformal theoriesuncountable categoricityvirtue

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• The complexity of computable categoricity
• A new strongly minimal set
• Set theory. An introduction to independence proofs
• Elementary equivalence versus isomorphism
• Internal categoricity in arithmetic and set theory
• On interpretations of arithmetic and set theory
• On the concept of categoricity
• Real Analysis in Reverse
• Complexity of Subcases of Presburger Arithmetic
• What is a Structure Theory?
• Totally Categorical Structures
• Model Theory and the Philosophy of Mathematical Practice
• Philosophy and Model Theory
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Categoricity
• Model Theory
• Axioms in Mathematical Practice
• Extending Knowledge and `Fruitful Concepts': Fregean Themes in the Foundations of Mathematics
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• WHAT CAN A CATEGORICITY THEOREM TELL US?
• On strongly minimal sets
• Uncountable dense categoricity in cats