Categoricity
DOI10.1080/01445348008837010zbMATH Open0504.03014OpenAlexW4246540032WikidataQ58436015 ScholiaQ58436015MaRDI QIDQ4739896FDOQ4739896
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
compactfirst order systemstrong completenessrecursively enumerablededuction theoreminduction principlenatural semanticsinfinite modelstring theoriessemantic consequencesatomic sentencesnumber theoriessystem of deductionstheories of free algebras
Philosophical and critical aspects of logic and foundations (03A05) Categoricity and completeness of theories (03C35)
Cites Work
- Title not available (Why is that?)
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some independence results for Peano arithmetic
- Title not available (Why is that?)
- String theory
- Categoricity regained
- On the concept of categoricity
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
- History of mathematics through collaboration: toward a composite portrait of Oswald Veblen. Abstracts from the workshop held December 4--10, 2022
- Carnap's early semantics
- 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
- Logical Consequence Revisited
- A new-old characterisation of logical knowledge
- Husserl and Hilbert on completeness, still
- 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)