Categoricity

DOI10.1080/01445348008837010zbMath0504.03014OpenAlexW4246540032WikidataQ58436015 ScholiaQ58436015MaRDI QIDQ4739896

John Corcoran

Publication date: 1980

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

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

zbMATH Keywords

deduction theoremcompactstring theoriesrecursively enumerableinduction principlestrong completenessfirst order systemnatural semanticsinfinite modelsemantic consequencesatomic sentencesnumber theoriessystem of deductionstheories of free algebras

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categoricity and completeness of theories (03C35)

Related Items (23)

Second-order languages and mathematical practice ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Completeness: from Husserl to Carnap ⋮ Towards completeness: Husserl on theories of manifolds 1890--1901 ⋮ History of mathematics through collaboration: toward a composite portrait of Oswald Veblen. Abstracts from the workshop held December 4--10, 2022 ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Logical Consequence Revisited ⋮ The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs ⋮ Carnap's early semantics ⋮ CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY ⋮ On the virtue of categoricity ⋮ Completeness and categoricity: Frege, gödel and model theory ⋮ Husserl and Hilbert on completeness, still ⋮ A General Setting for Dedekind's Axiomatization of the Positive Integers ⋮ Choice of primitives: A note on axiomatizing intuitionistic logic ⋮ Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship ⋮ Domains of Sciences, Universes of Discourse and Omega Arguments ⋮ Completeness Before Post: Bernays, Hilbert, and the Development of Propositional 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 ⋮ On certain axiomatizations of arithmetic of natural and integer numbers ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ A New–old Characterisation of Logical Knowledge

Cites Work

• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• On the concept of categoricity
• Categoricity regained
• Some independence results for Peano arithmetic
• String theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categoricity