scientific article; zbMATH DE number 1515261
zbMATH Open0959.03004MaRDI QIDQ4507804FDOQ4507804
Authors: Rudolf Carnap 
Publication date: 10 October 2000
Title of this publication is not available (Why is that?)
Recommendations
- Carnap on extremal axioms, ``completeness of the models, and categoricity
- Carnap's early metatheory: scope and limits
- Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
- Carnap's work in the foundations of logic and mathematics in a historical perspective
representationsdecidabilitylogicismmodel theorytype theoryisomorphismpolymorphismforkingmonomorphismmathematical logictheory of relationstheory of axiomatic systems
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)
Cited In (10)
- Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
- Kurt Gödel and the logic of concepts
- Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
- Carnap's early semantics
- Submodels in Carnap's early axiomatics revisited
- Carnapian and Tarskian semantics
- The role of universal language in the early work of Carnap and Tarski
- Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
- Carnap on extremal axioms, ``completeness of the models, and categoricity
- Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507804)
