The Hanf number of second order logic
Journal of Symbolic Logic 37 (3):588-594 (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
J. A. Makowsky (1985). Vopěnka's Principle and Compact Logics. Journal of Symbolic Logic 50 (1):42-48.
Saharon Shelah (1991). The Hanf Numbers of Stationary Logic. II. Comparison with Other Logics. Notre Dame Journal of Formal Logic 33 (1):1-12.
Jouko Väänänen (1982). Abstract Logic and Set Theory. II. Large Cardinals. Journal of Symbolic Logic 47 (2):335-346.
James E. Baumgartner (1974). The Hanf Number for Complete Lω1, Ω-Sentences (Without GCH). Journal of Symbolic Logic 39 (3):575 - 578.
Mitchell Spector (1985). Model Theory Under the Axiom of Determinateness. Journal of Symbolic Logic 50 (3):773-780.
Saharon Shelah (1979). Hanf Number of Omitting Type for Simple First-Order Theories. Journal of Symbolic Logic 44 (3):319-324.
Saharon Shelah & Matt Kaufmann (1986). The Hanf Number of Stationary Logic. Notre Dame Journal of Formal Logic 27 (1):111-123.
Matt Kaufmann (1985). A Note on the Hanf Number of Second-Order Logic. Notre Dame Journal of Formal Logic 26 (4):305-308.
John P. Burgess (1978). On the Hanf Number of Souslin Logic. Journal of Symbolic Logic 43 (3):568-571.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads17 ( #71,063 of 549,066 )Recent downloads (6 months)1 ( #63,185 of 549,066 )How can I increase my downloads? |
My notes
Discussion
