On the existence of atomic models

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

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.

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/152828

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9301210
 http://arxiv.org/abs/math/9301210
 J. Symbolic Logic 58 (1993), 1189--1194

Collections

arXiv