Article contents
Hanf number of omitting type for simple first-order theories
Published online by Cambridge University Press: 12 March 2014
Abstract
Let T be a complete countable first-order theory such that every ultrapower of a model of T is saturated. If T has a model omitting a type p in every cardinality < ℶ′, then T has a model omitting p in every cardinality. There is also a related theorem, and an example showing the ℶ′ cannot be improved.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1979
References
REFERENCES
- 4
- Cited by