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

DOI10.1017/S1755020312000172zbMATH Open1261.03009OpenAlexW2142305280MaRDI QIDQ4899962FDOQ4899962

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

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

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)

Cites Work

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

Cited In (9)

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

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)