JEDNOSTKA NAUKOWA KATEGORII A+

# Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

## A Hanf number for saturation and omission

### Tom 213 / 2011

Fundamenta Mathematicae 213 (2011), 255-270 MSC: 03C52, 03C85. DOI: 10.4064/fm213-3-5

#### Streszczenie

Suppose $\boldsymbol t =(T,T_1,p)$ is a triple of two countable theories $T\subseteq T_1$ in vocabularies $\tau \subset \tau_1$ and a $\tau_1$-type $p$ over the empty set. We show that the Hanf number for the property there is a model $M_1$ of $T_1$ which omits $p$, but $M_1 {\restriction} \tau$ is saturated' is essentially equal to the Löwenheim number of second order logic. In Section 4 we make exact computations of these Hanf numbers and note some distinctions between first order' and second order quantification'. In particular, we show that if $\kappa$ is uncountable, then $h^3(L_{\omega,\omega}(Q), \kappa) = h^3(L_{\omega_1,\omega}, \kappa)$, where $h^3$ is the normal' notion of Hanf function (Definition 4.12).

#### Autorzy

• John T. BaldwinDepartment of Mathematics, Statistics,
and Computer Science M//C 249
University of Illinois at Chicago
851 S. Morgan
Chicago, IL 60607, U.S.A.
e-mail
• Saharon ShelahEinstein Institute of Mathematics
Hebrew University of Jerusalem
Givat Ram, Jerusalem 91904, Israel
and
Department of Mathematics
Rutgers University
Piscataway, NJ 08854-8019, U.S.A.
e-mail

## Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Odśwież obrazek