The Hanf number for complete lω1, ω-sentences (without GCH)
Journal of Symbolic Logic 39 (3):575 - 578 (1974)
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHenry Africk (1974). Scott's Interpolation Theorem Fails for Lω1,Ω. Journal of Symbolic Logic 39 (1):124 - 126.
Gregory H. Moore (2011). Early History of the Generalized Continuum Hypothesis: 1878—1938. Bulletin of Symbolic Logic 17 (4):489-532.
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.
K. Jon Barwise (1972). The Hanf Number of Second Order Logic. Journal of Symbolic Logic 37 (3):588-594.
Saharon Shelah (1979). Hanf Number of Omitting Type for Simple First-Order Theories. Journal of Symbolic Logic 44 (3):319-324.
James E. Baumgartner & Peter Dordal (1985). Adjoining Dominating Functions. Journal of Symbolic Logic 50 (1):94-101.
Rami Grossberg (1989). Models with Second Order Properties in Successors of Singulars. Journal of Symbolic Logic 54 (1):122-137.
James E. Baumgartner (1984). Generic Graph Construction. Journal of Symbolic Logic 49 (1):234-240.
John P. Burgess (1978). On the Hanf Number of Souslin Logic. Journal of Symbolic Logic 43 (3):568-571.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
