Archive for Mathematical Logic 49 (7-8):799-811 (2010)
| Abstract |
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the rest. We show that for λ+-graphs (λ regular) omitting cliques of some finite or uncountable cardinality, it is consistent that there are small universal families and 2λ > λ+. In particular, we get such a result for triangle-free graphs
|
| Keywords | Graphs Triangle-free graphs Graphs omitting cliques Universal models Infinite combinatorics |
| Categories | (categorize this paper) |
| DOI | 10.1007/s00153-010-0197-4 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Perfect-Set Forcing for Uncountable Cardinals.Akihiro Kanamori - 1980 - Annals of Mathematical Logic 19 (1-2):97-114.
Universal Graphs at the Successor of a Singular Cardinal.Mirna Džamonja & Saharon Shelah - 2003 - Journal of Symbolic Logic 68 (2):366-388.
Perfect Trees and Elementary Embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
On Universal Graphs Without Instances of CH.Saharon Shelah - 1984 - Annals of Pure and Applied Logic 26 (1):75-87.
View all 9 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Universal Graphs at the Successor of a Singular Cardinal.Mirna Džamonja & Saharon Shelah - 2003 - Journal of Symbolic Logic 68 (2):366-388.
Forbidden Subgraphs and Forbidden Substructures.Gregory Cherlin & Niandong Shi - 2001 - Journal of Symbolic Logic 66 (3):1342-1352.
Universality for Orders and Graphs Which Omit Large Substructures.Katherine Thompson - 2006 - Notre Dame Journal of Formal Logic 47 (2):233-248.
On the Existence of Universal Models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
Some Natural Decision Problems in Automatic Graphs.Dietrich Kuske & Markus Lohrey - 2010 - Journal of Symbolic Logic 75 (2):678-710.
Expansions of Ultrahomogeneous Graphs.J. E. Helmreich - 1995 - Notre Dame Journal of Formal Logic 36 (3):414-424.
Finitely Constrained Classes of Homogeneous Directed Graphs.Brenda J. Latka - 1994 - Journal of Symbolic Logic 59 (1):124-139.
Reverse Mathematics and Infinite Traceable Graphs.Peter Cholak, David Galvin & Reed Solomon - 2012 - Mathematical Logic Quarterly 58 (1-2):18-28.
Reachability is Harder for Directed Than for Undirected Finite Graphs.Miklos Ajtai & Ronald Fagin - 1990 - Journal of Symbolic Logic 55 (1):113-150.
Domatic Partitions of Computable Graphs.Matthew Jura, Oscar Levin & Tyler Markkanen - 2014 - Archive for Mathematical Logic 53 (1-2):137-155.
Game-Theoretical Semantics for Peirce's Existential Graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
Graphs with ∏ 1 0 (K)Y-Sections.Boško Živaljević - 1993 - Archive for Mathematical Logic 32 (4):259-273.
Analytics
Added to PP index
2013-11-23
Total views
7 ( #1,063,455 of 2,498,254 )
Recent downloads (6 months)
3 ( #212,099 of 2,498,254 )
2013-11-23
Total views
7 ( #1,063,455 of 2,498,254 )
Recent downloads (6 months)
3 ( #212,099 of 2,498,254 )
How can I increase my downloads?
Downloads
