Carnap on extremal axioms, ``completeness of the models, and categoricity

DOI10.1017/S1755020312000172MaRDI QIDQ4899962zbMATHOpenAlexFDO

Authors Georg Schiemer

Publication date 10 January 2013

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

Full work available at URL https://doi.org/10.1017/s1755020312000172

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Logic in the philosophy of science (03A10)

Recommendations

• Submodels in Carnap's early axiomatics revisited
• Carnap's early metatheory: scope and limits
• Publication:4507804
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928

Cites work

• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3005338 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3089078 (Why is no real title available?)
• Betrachtungen über das Vollständigkeitsaxiom und verwandte Axiome
• Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
• Categoricity
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Dedekind's analysis of number: Systems and axioms
• Die Antinomien und die Unvollständigkeit der Mathematik
• Foundations of set theory
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics
• From completeness to Archimedean completeness. An essay in the foundations of Euclidean geometry
• On Gödel's Way In: The Influence of Rudolf Carnap
• Über Extremalaxiome

Cited in

(9)

• Russell and Carnap or Bourbaki? Two ways towards structures
• On the Axiom of Canonicity
• Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Carnap's early metatheory: scope and limits
• scientific article; zbMATH DE number 1515261 (Why is no real title available?)
• Submodels in Carnap's early axiomatics revisited
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928

This page was built for publication: Carnap on extremal axioms, ``completeness of the models, and categoricity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899962)