Language:   Search:   Contact
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

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

Highlights
Master Server