scientific article; zbMATH DE number 1515261

MaRDI QIDQ4507804zbMATH OpenFDO

Authors Rudolf Carnap

Publication date 10 October 2000

zbMATH Keywords

representationsdecidabilitylogicismmodel theorytype theoryisomorphismpolymorphismforkingmonomorphismmathematical logictheory of relationstheory of axiomatic systems

Mathematics Subject Classification ID

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)

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

Cited in

(10)

• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• 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

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)