On the Hanf number of souslin logic

Journal of Symbolic Logic 43 (3):568-571 (1978)
  Copy   BIBTEX

Abstract

We show it is consistent with ZFC that the Hanf number of Ellentuck's Souslin logic should be exactly $\beth_{\omega_2}$

Categories

Keywords

Reprint years

DOI

10.2307/2273533

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
The Hanf number of second order logic.K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (3):588-594.
A note on the Hanf number of second-order logic.Matt Kaufmann - 1985 - Notre Dame Journal of Formal Logic 26 (4):305-308.
The Hanf number of stationary logic.Saharon Shelah & Matt Kaufmann - 1986 - Notre Dame Journal of Formal Logic 27 (1):111-123.
The Hanf number for complete lω1, ω-sentences (without GCH).James E. Baumgartner - 1974 - Journal of Symbolic Logic 39 (3):575 - 578.
On iterating semiproper preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
Vopěnka's principle and compact logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.

Analytics

Added to PP
2009-01-28

Downloads
21 (#692,524)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

No citations found.

Add more citations

References found in this work

Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Absolute logics and L∞ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.

Add more references