- Pasch entre Klein et Peano.Sébastien Gandon - 2005 - Dialogue 44 (4):653-692.details
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. [REVIEW]I. Grattan-Guinness - 2011 - Logica Universalis 5 (1):21-73.details
|
|
Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader - 2011 - Dissertation, University of Notre Damedetails
|
|
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.details
|
|
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.details
|
|
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.details
|
|
(1 other version)Information recovery problems.John Corcoran - 1995 - Theoria 10 (3):55-78.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
تحلیل منطقی فلسفی پارادوکس اسکولم. Mansooreh - 2015 - Dissertation, details
|
|
Towards completeness: Husserl on theories of manifolds 1890–1901.Mirja Helena Hartimo - 2007 - Synthese 156 (2):281-310.details
|
|
(1 other version)Husserl and Hilbert on completeness, still.Jairo Jose da Silva - 2016 - Synthese 193 (6).details
|
|
Fraenkel's axiom of restriction: Axiom choice, intended models and categoricity.Georg Schiemer - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP: philosophy of mathematics: sociological aspsects and mathematical practice. London: College Publications. pp. 307{340.details
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
Choice of primitives: A note on axiomatizing intuitionistic logic.I. L. Humberstone - 1998 - History and Philosophy of Logic 19 (1):31-40.details
|
|
(1 other version)Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Carnap, completeness, and categoricity:The gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.details
|
|
A Note on Intended and Standard Models.Jerzy Pogonowski - 2020 - Studia Humana 9 (3-4):131-139.details
|
|
Completeness: From Husserl to Carnap.Víctor Aranda - 2022 - Logica Universalis 16 (1):57-83.details
|
|
The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions).Jean-Yves Beziau - 2020 - Studia Humana 9 (3-4):19-36.details
|
|
Scientific Representation and Theoretical Equivalence.James Nguyen - 2017 - Philosophy of Science 84 (5):982-995.details
|
|
(1 other version)Who were the American Postulate Theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.details
|
|
Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer - 2012 - Review of Symbolic Logic 5 (4):613-641.details
|
|
A New–old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
On the Categoricity of Quantum Mechanics.Iulian D. Toader - 2021 - European Journal for Philosophy of Science 11 (1):1-14.details
|
|
A Logical Approach to Philosophy: Essays in Memory of Graham Solomon.David DeVidi & Tim Kenyon (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.details
|
|
(1 other version)Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
(1 other version)Second-order languages and mathematical practice.Stewart Shapiro - 1985 - Journal of Symbolic Logic 50 (3):714-742.details
|
|
Logical consequence revisited.José M. Sagüillo - 1997 - Bulletin of Symbolic Logic 3 (2):216-241.details
|
|
On Generalization of Definitional Equivalence to Non-Disjoint Languages.Koen Lefever & Gergely Székely - 2019 - Journal of Philosophical Logic 48 (4):709-729.details
|
|