On the existence of atomic models
| dc.creator | Laskowski, Michael C. | |
| dc.creator | Shelah, Saharon | |
| dc.date | 1993-01-15 | |
| dc.date.accessioned | 2026-07-07T09:14:51Z | |
| dc.date.available | 2026-07-07T09:14:51Z | |
| dc.description | We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In particular, T(A) is a theory of size lambda where the principal types are dense, yet T(A) has no atomic model. | |
| dc.identifier | https://arxiv.org/abs/math/9301210 | |
| dc.identifier | http://arxiv.org/abs/math/9301210 | |
| dc.identifier | J. Symbolic Logic 58 (1993), 1189--1194 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/152828 | |
| dc.subject | Logic | |
| dc.title | On the existence of atomic models | |
| dc.type | text |