Submodels in Carnap's early axiomatics revisited

DOI10.1007/S10670-013-9501-0zbMATH Open1304.03004OpenAlexW1964466038MaRDI QIDQ488356FDOQ488356

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

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

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?)
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Title not available (Why is that?)
• Tarski on logical consequences
• Über Extremalaxiome
• On Tarski's foundations of the geometry of solids
• Title not available (Why is that?)
• On extremal axioms
• Die Antinomien und die Unvollständigkeit der Mathematik
• Carnap's early semantics
• CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY
• Title not available (Why is that?)
• Logic in the 1930s: type theory and model theory
• Title not available (Why is that?)

Cited In (2)

• Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
• Carnap's early metatheory: scope and limits

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)