COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM

DOI10.1017/bsl.2014.3zbMath1341.03043OpenAlexW2128861951MaRDI QIDQ2925323

John T. Baldwin

Publication date: 21 October 2014

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/Completeness_And_Categoricity_In_Power_Formalization_Without_Foundationalism_/10772057

zbMATH Keywords

completenessmodel theorycategoricityfoundationalismformalization

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Categoricity and completeness of theories (03C35)

Related Items (1)

Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new strongly minimal set
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Almost orthogonal regular types
• The number of countable differentially closed fields
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Differentially closed fields
• \(\aleph_0\)-categoricity and stability of rings
• The uncountable spectra of countable theories
• Toward classifying unstable theories
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné
• Lefschetz's principle
• The elementary theory of finite fields
• A new decision method for elementary algebra
• Counting special points: Logic, diophantine geometry, and transcendence theory
• The classification of excellent classes
• Comments on Lefschetz's Principle
• Stability theory and Algebra
• Simple unstable theories
• Notes on Quasiminimality and Excellence
• Zariski geometries
• 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
• On second-order characterizability
• Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers
• On strongly minimal sets
• The Architecture of Mathematics

This page was built for publication: COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM