Categoricity

DOI10.1080/01445348008837010MaRDI QIDQ4739896zbMATH OpenOpenAlexWikidataFDO

Authors 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

compactfirst order systemstrong completenessrecursively enumerablededuction theoreminduction principlenatural semanticsinfinite modelstring theoriessemantic 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)

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3435453 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Categoricity regained
• On the concept of categoricity
• Some independence results for Peano arithmetic
• String theory

Cited in

(26)

• Towards completeness: Husserl on theories of manifolds 1890--1901
• On generalization of definitional equivalence to non-disjoint languages
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
• Ex incompatibilitate sequitur quodlibet (The explosiveness of incompatibility and the compatibility of negation)
• Corcoran the mathematician
• The philosophy of logic of John Corcoran
• Choice of primitives: A note on axiomatizing intuitionistic logic
• Second-order languages and mathematical practice
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Completeness and categoricity (in power): formalization without foundationalism
• Carnap's early semantics
• History of mathematics through collaboration: toward a composite portrait of Oswald Veblen. Abstracts from the workshop held December 4--10, 2022
• Completeness and categoricity: Frege, gödel and model theory
• A general setting for Dedekind's axiomatization of the positive integers
• Completeness: from Husserl to Carnap
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• On certain axiomatizations of arithmetic of natural and integer numbers
• Husserl and Hilbert on completeness, still
• Logical Consequence Revisited
• A new-old characterisation of logical knowledge
• On the virtue of categoricity
• Carnap on extremal axioms, ``completeness of the models, and categoricity

This page was built for publication: Categoricity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4739896)