Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 0644.03021
Kaufmann, Matt
A note on the Hanf number of second-order logic. (English)
[J] Notre Dame J. Formal Logic 26, 305-308 (1985). ISSN 0029-4527

The Hanf number of second order logic is the least cardinal $\kappa$ such that every sentence of second order logic that has a model of power at least $\kappa$ has arbitrarily large models. Let ${\cal P}$ denote the power-set operation and T the Kripke-Platek axioms in the language $\{\epsilon$,${\cal P}\}$ augmented with the power-set axiom and the axiom that every well-ordering is isomorphic to an ordinal. Consider the following cardinals:\par (a) The Hanf-number $\kappa$ of second order logic, \par (b) The least cardinal $\lambda$ such that whenever $V\vDash \exists x\forall y\phi$ with $\phi \in \Delta\sb 0({\cal P})$, then $V\vDash (\exists x\in R\sb{\lambda})\forall y\phi.$ \par (c) The least cardinal $\mu$ such that whenever $\psi \in \Sigma\sb 2({\cal P})$ and $V\vDash \psi$, then $R\sb{\mu}\vDash \psi$; and whenever $\theta (x)\in \Sigma\sb 1({\cal P})$, $a\in R\sb{\mu}$, and $V\vDash \theta (a)$, then $R\sb{\mu}\vDash \theta (a).$ \par It is proved in T that if any of the cardinals (a)-(c) exists, they all exist and are equal. The result complements and builds on related results by {\it J. Barwise} [J. Symb. Logic 37, 588-594 (1972; Zbl 0281.02020)] and {\it H. Friedman} [ibid. 39, 318-324 (1974; Zbl 0293.02039)].
[J.Väänänen]

MSC 2000:: *03C85 Higher-order model theory
03C95 Abstract model theory

Keywords: Hanf number; second order logic; Kripke-Platek axioms

Citations: Zbl 0281.02020; Zbl 0293.02039

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]