The Hanf number of second order logic

Journal of Symbolic Logic 37 (3):588-594 (1972)
  Copy   BIBTEX

Abstract

We prove, among other things, that the number mentioned above cannot be shown to exist without using some $\Pi_1(\mathscr{P})$ instance of the axiom of replacement

Categories

Keywords

Reprint years

DOI

10.2307/2272748

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
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.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Model theory under the axiom of determinateness.Mitchell Spector - 1985 - Journal of Symbolic Logic 50 (3):773-780.
The Hanf number for complete lω1, ω-sentences (without GCH).James E. Baumgartner - 1974 - Journal of Symbolic Logic 39 (3):575 - 578.
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
The Hanf numbers of stationary logic. II. Comparison with other logics.Saharon Shelah - 1991 - Notre Dame Journal of Formal Logic 33 (1):1-12.
Vopěnka's principle and compact logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
On the Hanf number of souslin logic.John P. Burgess - 1978 - Journal of Symbolic Logic 43 (3):568-571.

Analytics

Added to PP
2009-01-28

Downloads
56 (#288,095)

6 months
10 (#280,099)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Barwise: Infinitary logic and admissible sets.H. Jerome Keisler & Julia F. Knight - 2004 - Bulletin of Symbolic Logic 10 (1):4-36.

Add more citations

References found in this work

Passion and Value in Hume's Treatise.D. G. C. Macnabb - 1968 - Philosophical Books 9 (1):2-4.

Add more references