ON THE EXISTENCE OF ATOMIC MODELS

Authors
LASKOWSKI MC SHELAH S
Citation
Mc. Laskowski et S. Shelah, ON THE EXISTENCE OF ATOMIC MODELS, The Journal of symbolic logic, 58(4), 1993, pp. 1189-1194
Citations number
5
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
58
Issue
4
Year of publication
1993
Pages
1189 - 1194
Database
ISI
SICI code
0022-4812(1993)58:4<1189:OTEOAM>2.0.ZU;2-Y
Abstract
We give an example of a countable theory T such that for every cardina l lambda greater than or equal to N-2 there is a fully indiscernible s et A of power lambda such that the principal types are dense over A, y et there is no atomic model of T over A. In particular, T(A) is a theo ry of size lambda where the principal types are dense, yet T(A) has no atomic model.