Universal structures in power ℵ1

Journal of Symbolic Logic 55 (2):466-477 (1990)
  Copy   BIBTEX

Abstract

It is consistent with ¬CH that every universal theory of relational structures with the joint embedding property and amalgamation for P --diagrams has a universal model of cardinality ℵ 1. For classes with amalgamation for P --diagrams it is consistent that $2^{\aleph_0} > \aleph_2$ and there is a universal model of cardinality ℵ 2.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Universal Structures in Power $aleph_1$.Alan H. Mekler - 1990 - Journal of Symbolic Logic 55 (2):466-477.
Facetten der Macht.Peter Koller - 1991 - Analyse & Kritik 13 (2):107-133.
Computability Over Structures of Infinite Signature.Armin Hemmerling - 1998 - Mathematical Logic Quarterly 44 (3):394-416.
The universal set and diagonalization in Frege structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.
Fuzzy power structures.George Georgescu - 2008 - Archive for Mathematical Logic 47 (3):233-261.
Power in the Structure of Power Relations.Ivan Buraj - 2010 - Filozofia 65 (5):417-427.
Universal functions in partial structures.Maurizio Negri - 1992 - Mathematical Logic Quarterly 38 (1):253-268.
On recursively enumerable structures.Victor Selivanov - 1996 - Annals of Pure and Applied Logic 78 (1-3):243-258.
Gender and Power.Graciela Hierro & Ivan Marquez - 1994 - Hypatia 9 (1):173 - 183.
Index sets for some classes of structures.Ekaterina B. Fokina - 2009 - Annals of Pure and Applied Logic 157 (2-3):139-147.
Spectra of Structures and Relations.Valentina S. Harizanov & Russel G. Miller - 2007 - Journal of Symbolic Logic 72 (1):324 - 348.
On second-order generalized quantifiers and finite structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.

Analytics

Added to PP
2009-01-28

Downloads
41 (#388,316)

6 months
15 (#167,130)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Universal graphs and functions on ω1.Saharon Shelah & Juris Steprāns - 2021 - Annals of Pure and Applied Logic 172 (8):102986.
On the existence of universal models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
Morasses, square and forcing axioms.Charles Morgan - 1996 - Annals of Pure and Applied Logic 80 (2):139-163.

View all 7 citations / Add more citations

References found in this work

On universal graphs without instances of CH.Saharon Shelah - 1984 - Annals of Pure and Applied Logic 26 (1):75-87.

Add more references