Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN

Preferencje
Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
• # Artykuł - szczegóły

## Fundamenta Mathematicae

2011 | 213 | 3 | 255-270

## A Hanf number for saturation and omission

EN

### Abstrakty

EN
Suppose t = (T,T₁,p) is a triple of two countable theories T ⊆ T₁ in vocabularies τ ⊂ τ₁ and a τ₁-type p over the empty set. We show that the Hanf number for the property 'there is a model M₁ of T₁ which omits p, but M₁ ↾ τ 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 κ is uncountable, then $h³(L_{ω,ω}(Q),κ) = h³(L_{ω₁,ω},κ)$, where h³ is the 'normal' notion of Hanf function (Definition 4.12).

255-270

wydano
2011

### Twórcy

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