Submodels in Carnap's early axiomatics revisited
From MaRDI portal
Publication:488356
DOI10.1007/s10670-013-9501-0zbMath1304.03004OpenAlexW1964466038MaRDI QIDQ488356
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
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Logic in the philosophy of science (03A10)
Related Items (2)
Carnap's early metatheory: scope and limits ⋮ Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Carnap's early semantics
- Tarski on logical consequences
- Über Extremalaxiome
- On Tarski's Foundations of the Geometry of Solids
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- On extremal axioms
- Die Antinomien und die Unvollständigkeit der Mathematik
- CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY
- Logic in the 1930s: type theory and model theory
This page was built for publication: Submodels in Carnap's early axiomatics revisited