Submodels in Carnap's early axiomatics revisited

DOI10.1007/S10670-013-9501-0MaRDI QIDQ488356zbMATH OpenOpenAlexFDO

Authors Iris Loeb

Publication date 26 January 2015

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10670-013-9501-0

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

• Carnap's early semantics
• Carnap on extremal axioms, ``completeness of the models, and categoricity
• Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
• Carnap's early metatheory: scope and limits
• Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory

Cites work

• scientific article; zbMATH DE number 1515261 (Why is no real title available?)
• scientific article; zbMATH DE number 6745035 (Why is no real title available?)
• scientific article; zbMATH DE number 2244571 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• Carnap on extremal axioms, ``completeness of the models, and categoricity
• Carnap's early semantics
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Die Antinomien und die Unvollständigkeit der Mathematik
• Logic in the 1930s: type theory and model theory
• On Tarski's foundations of the geometry of solids
• On extremal axioms
• Tarski on logical consequences
• Tarski on models and logical consequence
• Über Extremalaxiome

Cited in

(4)

• Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
• Carnap on extremal axioms, ``completeness of the models, and categoricity
• Carnap's early metatheory: scope and limits
• Carnap's early semantics

This page was built for publication: Submodels in Carnap's early axiomatics revisited

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