Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics

DOI10.1080/0144534021000028619zbMath1038.03003OpenAlexW2054469422WikidataQ58523294 ScholiaQ58523294MaRDI QIDQ4706123

Erich H. Reck, Steven Awodey

Publication date: 28 October 2003

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

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

zbMATH Keywords

completenesshigher-order logiccategoricitydevelopment of the axiomatic method

Mathematics Subject Classification ID

Related Items (8)

COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Completeness: from Husserl to Carnap ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Carnap's early metatheory: scope and limits ⋮ Why Post Did [Not Have Turing’s Thesis] ⋮ On the virtue of categoricity ⋮ Axiomatizations of arithmetic and the first-order/second-order divide ⋮ Zermelo: definiteness and the universe of definable sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cohomology of sheaves
• Sheaves in geometry and logic: a first introduction to topos theory
• The continuum as a final coalgebra
• A critical appraisal of second-order logic
• Logic in the twenties: the nature of the quantifier
• Adjointness in Foundations
• Completeness and categoricity: Frege, gödel and model theory
• Topological completeness for higher-order logic
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Categoricity
• Logic as Calculus and Logic as Language
• Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928

This page was built for publication: Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics