Categoricity
History and Philosophy of Logic 1 (1):187-207 (1980)
| Abstract | After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those involving the distinction between characterizing a system and axiomatizing the truths of a system | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJames Walmsley (2002). Categoricity and Indefinite Extensibility. Proceedings of the Aristotelian Society 102 (3):217–235.
Sy-David Friedman & Martin Koerwien (2010). On Absoluteness of Categoricity in Abstract Elementary Classes. Notre Dame Journal of Formal Logic 52 (4):395-402.
Olli Koistinen (2003). Spinoza's Proof of Necessitarianism. Philosophy and Phenomenological Research 67 (2):283–310.
Olivier Lessmann (2005). Upward Categoricity From a Successor Cardinal for Tame Abstract Classes with Amalgamation. Journal of Symbolic Logic 70 (2):639 - 660.
John Corcoran, William Frank & Michael Maloney (1974). String Theory. Journal of Symbolic Logic 39 (4):625-637.
Stephen Read (1997). Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic 18 (2):79-93.
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Jürgen Saffe (1984). Categoricity and Ranks. Journal of Symbolic Logic 49 (4):1379-1392.
James H. Schmerl (1980). Decidability and ℵ0-Categoricity of Theories of Partially Ordered Sets. Journal of Symbolic Logic 45 (3):585 - 611.
Fernando Ferreira (1999). A Note on Finiteness in the Predicative Foundations of Arithmetic. Journal of Philosophical Logic 28 (2):165-174.
Analytics
Monthly downloads |
Added to index2009-04-15Total downloads45 ( #24,483 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
