scientific article; zbMATH DE number 1515261
From MaRDI portal
Publication:4507804
zbMath0959.03004MaRDI QIDQ4507804
Publication date: 10 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
representationspolymorphismdecidabilitymodel theoryisomorphismforkinglogicismtype theorymathematical logicmonomorphismtheory of relationstheory of axiomatic systems
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)
Related Items
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ The role of universal language in the early work of Carnap and Tarski ⋮ Carnapian and Tarskian semantics ⋮ Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl ⋮ Carnap's early semantics ⋮ Submodels in Carnap's early axiomatics revisited ⋮ Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION