z-logo
Premium
The Hanf number in the strictly stable case
Author(s) -
Shelah Saharon
Publication year - 2020
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201900021
Subject(s) - mathematics , property (philosophy) , combinatorics , order (exchange) , philosophy , epistemology , finance , economics
We associate Hanf numbersH ( t ) to triples t = ( T , T 1 , p ) where T and T 1 are theories and p is a type. We show that the Hanf number for the property: “there is a model M 1 ofT 1which omits p , butM 1 ↾ τ is saturated” is larger than the Hanf number ofL λ + , κbut smaller than the Hanf number ofL( 2 λ ) + , κwhen T is stable with κ = κ ( T ) . In fact, surprisingly, we even characterise the Hanf number oft when we fix ( T , λ ) where T is a first order complete (and stable), λ ≥ | T | and demand| T 1 | ≤ λ .

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom