Categoricity
From MaRDI portal
Publication:4739896
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)