Mathematics – Logic
Scientific paper
1993-01-15
J. Symbolic Logic 58 (1993), 1189--1194
Mathematics
Logic
Scientific paper
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.
Laskowski Michael C.
Shelah Saharon
No associations
LandOfFree
On the existence of atomic models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the existence of atomic models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the existence of atomic models will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-610528