Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
From MaRDI portal
Publication:4706120
DOI10.1080/01445340210146889zbMath1031.03002OpenAlexW1964132161WikidataQ58523318 ScholiaQ58523318MaRDI QIDQ4706120
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
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Categoricity and completeness of theories (03C35)
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
- From completeness to Archimedean completeness. An essay in the foundations of Euclidean geometry
- Carnap's work in the foundations of logic and mathematics in a historical perspective
- Husserl's two notions of completeness. Husserl and Hilbert on completeness and imaginary elements in mathematics
- Über Extremalaxiome
- Alfred Tarski's elimination theory for real closed fields
- Logic in the twenties: the nature of the quantifier
- Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
- Who were the American postulate theorists?
- Hilbert's Programs: 1917–1922
- Completeness and categoricity: Frege, gödel and model theory
- Categoricity
- On extremal axioms
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- A formulation of the simple theory of types
- Completeness in the theory of types
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
- String theory