Hostname: page-component-5c6d5d7d68-sv6ng Total loading time: 0 Render date: 2024-08-17T22:42:18.513Z Has data issue: false hasContentIssue false

Universal structures in power ℵ1

Published online by Cambridge University Press:  12 March 2014

Alan H. Mekler*
Affiliation:
Department of Mathematics, Simon Fraser University, Burnaby, British Columbia V5A 1S6, Canada

Abstract

It is consistent with ¬ CH that every universal theory of relational structures with the joint embedding property and amalgamation for -(3)-diagrams has a universal model of cardinality ℵ1. For classes with amalgamation for -(4)-diagrams it is consistent that and there is a universal model of cardinality ℵ2.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1990

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

[B]Baumgartner, J., Almost disjoint sets, the dense set problem and the partition calculus, Annals of Mathematical Logic, vol. 9 (1976), pp. 401439.CrossRefGoogle Scholar
[M]Mekler, A., C.c.c. forcing without combinatorics, this Journal, vol. 49 (1984), pp. 830832.Google Scholar
[S1]Shelah, S., Independence results, this Journal, vol. 45 (1980), pp. 563573.Google Scholar
[S2]Shelah, S., On universal graphs without instances of CH, Annals of Pure and Applied Logic, vol. 26 (1984), pp. 7587.CrossRefGoogle Scholar
[S3]Shelah, S., Universal graphs without instances of CH: revisited, preprint.Google Scholar