The following pages link to Categoricity (Q4739896):
Displaying 23 items.
- Carnap's early semantics (Q486945) (← links)
- Husserl and Hilbert on completeness, still (Q513991) (← links)
- Towards completeness: Husserl on theories of manifolds 1890--1901 (Q885542) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Completeness: from Husserl to Carnap (Q2169125) (← links)
- On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- Domains of Sciences, Universes of Discourse and Omega Arguments (Q2757989) (← links)
- COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM (Q2925323) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- Second-order languages and mathematical practice (Q3727947) (← links)
- Logical Consequence Revisited (Q4359527) (← links)
- Completeness and categoricity: Frege, gödel and model theory (Q4373014) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (Q4706123) (← links)
- CARNAP ON EXTREMAL AXIOMS, “<i>COMPLETENESS OF THE MODELS</i>,” AND CATEGORICITY (Q4899962) (← links)
- A General Setting for Dedekind's Axiomatization of the Positive Integers (Q4914193) (← links)
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- History of mathematics through collaboration: toward a composite portrait of Oswald Veblen. Abstracts from the workshop held December 4--10, 2022 (Q6095413) (← links)
