Club Guessing and the Universal Models
Mirna Džamonja
Source: Notre Dame J. Formal Logic Volume 46, Number 3
(2005), 283-300.
Abstract
We survey the use of club guessing and other PCF constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal, element.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1125409327
Digital Object Identifier: doi:10.1305/ndjfl/1125409327
Mathematical Reviews number (MathSciNet): MR2160658
References
[1] Argyros, S. A., and Y. Benyamini, "Universal WCG Banach spaces and universal Eberlein compacts", Israel Journal of Mathematics, vol. 58 (1987), pp. 305--20. špace-1.5pt
Mathematical Reviews (MathSciNet): MR89d:46016
Zentralblatt MATH: 0637.46010
Digital Object Identifier: doi:10.1007/BF02771694
[2] Bell, M., "Universal uniform Eberlein compact spaces", Proceedings of the American Mathematical Society, vol. 128 (2000), pp. 2191--97. špace-1.5pt
Mathematical Reviews (MathSciNet): MR2000m:54019
Zentralblatt MATH: 0949.54023
Digital Object Identifier: doi:10.1090/S0002-9939-00-05403-4
JSTOR: links.jstor.org
[3] Benyamini, Y., M. E. Rudin, and M. Wage, "Continuous images of weakly compact subsets of Banach spaces", Pacific Journal of Mathematics, vol. 70 (1977), pp. 309--24. špace-1.5pt
Zentralblatt MATH: 0374.46011
Mathematical Reviews (MathSciNet): MR625889
Project Euclid: euclid.pjm/1102811917
[4] Chang, C. C., and H. J. Keisler, Model Theory, 2d edition, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1977. špace-1.5pt
Mathematical Reviews (MathSciNet): MR58:27177
[5] Cherlin, G. L., "The classification of countable homogeneous directed graphs and countable homogeneous $n$-tournaments", Memoirs of the American Mathematical Society, vol. 131, no. 621 (1998). špace-1.5pt
Mathematical Reviews (MathSciNet): MR98k:03080
Zentralblatt MATH: 0978.03029
[6] Dow, A., "Remarks on recent results in set-theoretic topology", preprint, 2005.špace-1.5pt
Mathematical Reviews (MathSciNet): MR1969996
Zentralblatt MATH: 1026.54001
Digital Object Identifier: doi:10.1016/B978-044450980-2/50005-4
[7] Džamonja, M., "Universality of uniform Eberlein compacta", forthcoming in the Proceedings of the American Mathematical Society.špace-1.5pt
Mathematical Reviews (MathSciNet): MR2213717
Digital Object Identifier: doi:10.1090/S0002-9939-06-08189-5
Zentralblatt MATH: 1093.03030
[8] Džamonja, M., "On uniform Eberlein compacta and c-algebras", Topology Proceedings, vol. 23 (1998), pp. 143--50. špace-1.5pt
Zentralblatt MATH: 0949.54024
Mathematical Reviews (MathSciNet): MR1743805
[9] Džamonja, M., and S. Shelah, "On properties of theories which preclude the existence of universal models", forthcoming in the Annals of Pure and Applied Logic.špace-1.5pt
Mathematical Reviews (MathSciNet): MR2096141
Digital Object Identifier: doi:10.1007/s00153-004-0235-1
Zentralblatt MATH: 1060.03070
[10] Džamonja, M., and S. Shelah, "On the existence of universal models", Archive for Mathematical Logic, vol. 43 (2004), pp. 901--36. špace-1.5pt
Zentralblatt MATH: 02133514
Mathematical Reviews (MathSciNet): MR2096141
Digital Object Identifier: doi:10.1007/s00153-004-0235-1
[11] Džamonja, M., and K. Thompson, "Universality results for well-founded posets", submitted to Sarajevo Journal of Mathematics.špace-1.5pt
Mathematical Reviews (MathSciNet): MR2179513
[12] Foreman, M., and P. Komjáth, "The club guessing ideal (commentary on a theorem of Gitik and Shelah)", preprint, 2003.špace-1.5pt
Mathematical Reviews (MathSciNet): MR2151585
Digital Object Identifier: doi:10.1142/S0219061305000419
Zentralblatt MATH: 1081.03047
[13] Füredi, Z., and P. Komjáth, "Nonexistence of universal graphs without some trees", Combinatorica, vol. 17 (1997), pp. 163--71. špace-1.5pt
Mathematical Reviews (MathSciNet): MR98m:05052
Digital Object Identifier: doi:10.1007/BF01200905
Zentralblatt MATH: 0889.05038
[14] Ishiu, T., Club Guessing Sequences and Filters, Ph.D. thesis, University of California, Irvine, 2003.špace-1pt
Zentralblatt MATH: 1100.03036
[15] Kojman, M., and S. Shelah, "Almost isometric embeddings between metric spaces", preprint, 2003.špace-1.5pt
Mathematical Reviews (MathSciNet): MR2269433
Digital Object Identifier: doi:10.1007/BF02773958
Zentralblatt MATH: 1144.54017
[16] Kojman, M., "Representing embeddability as set inclusion", Journal of the London Mathematical Society. Second Series, vol. 58 (1998), pp. 257--70. špace-1.5pt
Mathematical Reviews (MathSciNet): MR2000a:05067
Digital Object Identifier: doi:10.1112/S0024610798006668
Zentralblatt MATH: 0928.03050
[17] Kojman, M., and S. Shelah, "Nonexistence of universal orders in many cardinals", The Journal of Symbolic Logic, vol. 57 (1992), pp. 875--91. špace-1.5pt
Mathematical Reviews (MathSciNet): MR94b:03064
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2307/2275437
Zentralblatt MATH: 0790.03036
[18] Kojman, M., and S. Shelah, "The universality spectrum of stable unsuperstable theories", Annals of Pure and Applied Logic, vol. 58 (1992), pp. 57--72. špace-1pt
Mathematical Reviews (MathSciNet): MR93h:03043
Zentralblatt MATH: 0769.03019
Digital Object Identifier: doi:10.1016/0168-0072(92)90034-W
[19] Kojman, M., and S. Shelah, "Universal Abelian groups", Israel Journal of Mathematics, vol. 92 (1995), pp. 113--24. špace-1pt
Mathematical Reviews (MathSciNet): MR96i:20071
Zentralblatt MATH: 0840.20057
Digital Object Identifier: doi:10.1007/BF02762072
[20] Komjáth, P., and S. Shelah, "Universal graphs without large cliques", Journal of Combinatorial Theory. Series B, vol. 63 (1995), pp. 125--35. špace-1pt
Mathematical Reviews (MathSciNet): MR95k:05056
Zentralblatt MATH: 0830.03021
Digital Object Identifier: doi:10.1006/jctb.1995.1008
[21] Mekler, A., and J. Väänänen, "Trees and $\Pi\sp 1\sb 1$"-subsets of $\sp \omega\sb 1\omega\sb 1$, The Journal of Symbolic Logic, vol. 58 (1993), pp. 1052--70. špace-1pt
Mathematical Reviews (MathSciNet): MR94k:03063
Zentralblatt MATH: 0795.03068
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2307/2275112
[22] Rado, R., "Universal graphs and universal functions", Acta Arithmetica, vol. 9 (1964), pp. 331--40. špace-1pt
Mathematical Reviews (MathSciNet): MR30:2488
Zentralblatt MATH: 0139.17303
[23] Shelah, S., Classification Theory and the Number of Nonisomorphic Models, 2d edition, vol. 92 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1990. špace-1pt
Mathematical Reviews (MathSciNet): MR91k:03085
[24] Shelah, S., "The universality spectrum: Consistency for more classes", pp. 403--20 in Combinatorics, Paul Erdös is Eighty, Vol. 1, Bolyai Society Mathematical Studies, János Bolyai Mathematical Society, Budapest, 1993. Proceedings of the Meeting in honor of P. Erdös, Keszthely, Hungary, 1993. Improved version available at \hrefhttp://www.math.rutgers.edu/~shelarchhttp://www.math.rutgers.edu/\~ shelarch. špace-1pt
Mathematical Reviews (MathSciNet): MR95a:03043
Zentralblatt MATH: 0805.03020
[25] Shelah, S., ``Analytical guide and corrections to Cardinal Arithmetic,'' preprint at \hrefhttp://www.math.rutgers.edu/~shelarchhttp://www.math.rutgers.edu/\~ shelarch, \hrefhttp://front.math.ucdavis.edu/math.LO/9906022http://front.math.ucdavis.edu/math.LO/9906022.špace-1pt
[26] Shelah, S., "Existence of universal structures", in preparation.špace-1pt
[27] Shelah, S., "Notes on Abelian groups", in preparation.špace-1pt
[28] Shelah, S., "Independence results", The Journal of Symbolic Logic, vol. 45 (1980), pp. 563--73. špace-1pt
Mathematical Reviews (MathSciNet): MR82b:03099
Zentralblatt MATH: 0451.03017
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2307/2273423
[29] Shelah, S., "On universal graphs without instances of CH", Annals of Pure and Applied Logic, vol. 26 (1984), pp. 75--87. špace-1pt
Mathematical Reviews (MathSciNet): MR85h:03054
Zentralblatt MATH: 0551.03032
Digital Object Identifier: doi:10.1016/0168-0072(84)90042-3
[30] Shelah, S., "Universal graphs without instances of CH: Revisited", Israel Journal of Mathematics, vol. 70 (1990), pp. 69--81. špace-1pt
Mathematical Reviews (MathSciNet): MR94e:03048
Zentralblatt MATH: 0709.03039
Digital Object Identifier: doi:10.1007/BF02807219
[31] Shelah, S., "Advances in cardinal arithmetic", pp. 355--83 in Finite and Infinite Combinatorics in Sets and Logic (Banff AB, 1991), vol. 411 of NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, Kluwer Academic Publishers, Dordrecht, 1993. špace-1pt
Mathematical Reviews (MathSciNet): MR95h:03112
Zentralblatt MATH: 0844.03028
[32] Shelah, S., Cardinal Arithmetic, vol. 29 of Oxford Logic Guides, The Clarendon Press, New York, 1994. špace-1pt
Mathematical Reviews (MathSciNet): MR96e:03001
Zentralblatt MATH: 0848.03025
[33] Shelah, S., "Toward classifying unstable theories", Annals of Pure and Applied Logic, vol. 80 (1996), pp. 229--55. špace-1pt
Mathematical Reviews (MathSciNet): MR97e:03052
Zentralblatt MATH: 0874.03043
Digital Object Identifier: doi:10.1016/0168-0072(95)00066-6
[34] Shelah, S., "Universal in $(<\lambda)$-stable Abelian group", Mathematica Japonica, vol. 44 (1996), pp. 1--9. špace-1pt
Mathematical Reviews (MathSciNet): MR98g:03092
Zentralblatt MATH: 0889.03022
[35] Shelah, S., "Non-existence of universals for classes like reduced torsion free Abelian groups under embeddings which are not necessarily pure", pp. 229--86 in Advances in Algebra and Model Theory (Essen, 1994; Dresden, 1995), vol. 9 of Algebra, Logic and Applications, Gordon and Breach, Amsterdam, 1997. špace-1pt
Mathematical Reviews (MathSciNet): MR2000f:20091
Zentralblatt MATH: 0936.20044
[36] Shelah, S., Proper and Improper Forcing, 2d edition, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1998. špace-1pt
Mathematical Reviews (MathSciNet): MR98m:03002
Zentralblatt MATH: 0889.03041
[37] Shelah, S., "On what I do not understand (and have something to say), Model Theory", Mathematica Japonica, vol. 51 (2000), pp. 329--77. špace-1pt
Mathematical Reviews (MathSciNet): MR2001a:03073
Zentralblatt MATH: 0965.03042
[38] Shelah, S., "Non-existence of universal members in classes of Abelian groups", Journal of Group Theory, vol. 4 (2001), pp. 169--91. špace-1pt
Mathematical Reviews (MathSciNet): MR2002f:20088
Zentralblatt MATH: 1035.20044
Digital Object Identifier: doi:10.1515/jgth.2001.014
[39] Shelah, S., ``Is there universality among the graph omitting a complete bipartite graph?'' preprint, 2004.špace-1pt
[40] Shelah, S., and A. Usvyatsov, "Model theoretic stability for complete metric spaces", in preparation.špace-1pt
[41] Shelah, S., and A. Usvyatsov, "Banach spaces and groups---order properties and universal models", preprint, 2002.špace-1pt
Mathematical Reviews (MathSciNet): MR2214463
Digital Object Identifier: doi:10.1007/BF02771986
Zentralblatt MATH: 1145.46013
[42] Szlenk, W., "The non-existence of a separable reflexive Banach space universal for all separable reflexive Banach spaces", Studia Mathematica, vol. 30 (1968), pp. 53--61. špace-1pt
Mathematical Reviews (MathSciNet): MR37:3327
Zentralblatt MATH: 0169.15303
[43] Thompson, K., Universality results for ordered and directed structures, Ph.D. thesis, University of East Anglia, 2003.špace-1pt
[44] Thompson, K., "Universality for orders and graphs which omit large substructures", submitted to Notre Dame Journal of Formal Logic.špace-1pt
[45] Todorčević, S., "The functor $\sigma\sp 2 x$", Studia Mathematica, vol. 116 (1995), pp. 49--57. špace-1pt
Zentralblatt MATH: 0839.46009
Mathematical Reviews (MathSciNet): MR1355064
[46] Usvyatsov, A., Ph.D. thesis, Hebrew University of Jerusalem, in preparation.
Notre Dame Journal of Formal Logic
