Abstract
We associate Hanf numbers (Formula presented.) to triples (Formula presented.) where T and T1 are theories and p is a type. We show that the Hanf number for the property: “there is a model M1 of (Formula presented.) which omits p, but (Formula presented.) is saturated” is larger than the Hanf number of (Formula presented.) but smaller than the Hanf number of (Formula presented.) when T is stable with (Formula presented.). In fact, surprisingly, we even characterise the Hanf number of (Formula presented.) when we fix (Formula presented.) where T is a first order complete (and stable), (Formula presented.) and demand (Formula presented.).
| Original language | English |
|---|---|
| Pages (from-to) | 280-294 |
| Number of pages | 15 |
| Journal | Mathematical Logic Quarterly |
| Volume | 66 |
| Issue number | 3 |
| DOIs | |
| State | Published - 1 Oct 2020 |
Bibliographical note
Publisher Copyright:© 2020 Wiley-VCH GmbH
Fingerprint
Dive into the research topics of 'The Hanf number in the strictly stable case'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver