Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic

From MaRDI portal
Publication:4706120

DOI10.1080/01445340210146889zbMath1031.03002OpenAlexW1964132161WikidataQ58523318 ScholiaQ58523318MaRDI QIDQ4706120

Erich H. Reck, Steven Awodey

Publication date: 13 October 2003

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340210146889



Related Items

PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC, On Arbitrary sets andZFC, Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory, Second-order characterizable cardinals and ordinals, COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM, An American Postulate Theorist: Edward V. Huntington, Completeness: from Husserl to Carnap, The mentor of Alan Turing: Max Newman (1897--1984) as a logician, On the Axiom of Canonicity, From Dedekind to Zermelo versus Peano to Gödel, INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD, Frege and the origins of model theory in nineteenth century geometry, Carnap's early metatheory: scope and limits, Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization, Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl, Second Order Logic or Set Theory?, Carnap's early semantics, Submodels in Carnap's early axiomatics revisited, CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY, On the virtue of categoricity, Husserl and Hilbert on completeness, still, A General Setting for Dedekind's Axiomatization of the Positive Integers, The scope of Gödel's first incompleteness theorem, Constructibility and Geometry, Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics, Axiomatizations of arithmetic and the first-order/second-order divide, What is Tarski's Common Concept of Consequence?, Zermelo: definiteness and the universe of definable sets



Cites Work