Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
From MaRDI portal
Publication:5946331
DOI10.1023/A:1005622201768zbMath0988.03007OpenAlexW1532018530MaRDI QIDQ5946331
Publication date: 5 July 2002
Published in: Erkenntnis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005622201768
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics ⋮ Completeness: from Husserl to Carnap ⋮ Carnap on logic and rationality ⋮ Carnap's early metatheory: scope and limits ⋮ Carnap and the invariance of logical truth ⋮ A new glimpse of John von Neumann's thought laboratory ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS ⋮ Carnap's early semantics ⋮ Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax} ⋮ CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY ⋮ 2002 Annual Meeting of the Association for Symbolic Logic ⋮ On Gödel's Way In: The Influence of Rudolf Carnap ⋮ 2004 Annual Meeting of the Association for Symbolic Logic ⋮ Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic ⋮ Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics ⋮ What is Tarski's Common Concept of Consequence?
