Hostname: page-component-848d4c4894-4hhp2 Total loading time: 0 Render date: 2024-06-09T02:25:31.489Z Has data issue: false hasContentIssue false

Omitting types and the real line

Published online by Cambridge University Press:  12 March 2014

Ludomir Newelski*
Affiliation:
Institute of Mathematics, Polish Academy of Sciences, 51-617 Wrocław, Poland

Extract

We investigate some relations between omitting types of a countable theory and some notions defined in terms of the real line, such as for example the ideal of meager subsets of R. We also try to express connections between the logical structure of a theory and the existence of its countable models omitting certain families of types.

It is well known that assuming MA we can omit < nonisolated types. But MA is rather a strong axiom. We prove that in order to be able to omit < nonisolated types it is sufficient to assume that the real line cannot be covered by less than meager sets; and this is in fact the weakest possible condition. It is worth pointing out that by means of forcing we can easily obtain the model of ZFC in which R cannot be covered by < meager sets. It suffices to add to the ground model Cohen generic reals.

We also formulate similar results for omitting pairwise contradictory types. It turns out that from some point of view it is much more difficult to find the family of pairwise contradictory types which cannot be omitted by a model of T, than to find such a family of possibly noncontradictory types. Moreover, for any two countable theories T1, T2 without prime models, the existence of a family of κ types which cannot be omitted by a model of T1 is equivalent to the existence of such a family for T2. This means that from the point of view of omitting types all theories without prime models are identical. Similar results hold for omitting pairwise contradictory types.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Miller, A., Covering 2ω with ω1 disjoint closed sets, The Kleene Symposium (proceedings, Madison, Wisconsin, 1978), Studies in Logic and the Foundations of Mathematics, vol. 101, North-Holland, Amsterdam, 1980, pp. 415421.Google Scholar
[2]Miller, A., Some properties of measure and category, Transactions of the American Mathematical Society, vol. 266 (1981), pp. 93114.CrossRefGoogle Scholar
[3]Shelah, S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.Google Scholar
[4]Shelah, S., Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin, 1982.CrossRefGoogle Scholar
[5]Stern, J., Partitions of the real line into ℵ1 closed sets, Higher set theory (proceedings, Oberwolfach, 1977), Lecture Notes in Mathematics, vol. 669, Springer-Verlag, Berlin, 1978, pp. 455461.CrossRefGoogle Scholar