A General Setting for Dedekind's Axiomatization of the Positive Integers

DOI10.1080/01445340.2011.585788zbMath1271.03054OpenAlexW2065932547WikidataQ58528880 ScholiaQ58528880MaRDI QIDQ4914193

George E. Weaver

Publication date: 18 April 2013

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2011.585788

zbMATH Keywords

categoricitycountably infinite Dedekind algebrasmodel theory of second-order languages

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Second-order characterizable cardinals and ordinals
• The first-order theories of Dedekind algebras
• Homogeneous and universal Dedekind algebras
• Who were the American postulate theorists?
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Categoricity
• The Fraenkel‐Carnap question for Dedekind algebras
• String theory