Skip to main content
×
×
Home

Combinatorial Dichotomies in Set Theory

  • Stevo Todorcevic (a1)
Abstract

We give an overview of a research line concentrated on finding to which extent compactness fails at the level of first uncountable cardinal and to which extent it could be recovered on some other perhaps not so large cardinal. While this is of great interest to set theorists, one of the main motivations behind this line of research is in its applicability to other areas of mathematics. We give some details about this and we expose some possible directions for further research.

Copyright
References
Hide All
[1] Abad, Jordi Lopez and Todorcevic, Stevo, Generic Banach spaces and generic simplexes, February 2010.
[2] Abraham, Uri, Rubin, Matatyahu, and Shelah, Saharon, On the consistency of some partition theorems for continuous colorings, and the structure of ℵ1-dense real order types, Annals of Pure and Applied Logic, vol. 29 (1985), no. 2, pp. 123206.
[3] Abraham, Uri and Todorcevic, Stevo, Partition properties of ω1 compatible with CH, Fundamenta Mathematicae, vol. 152 (1997), no. 2, pp. 165181.
[4] Argyros, Spiros A., Dodos, Pandelis, and Kanellopoulos, Vassilis, Unconditional families in Banach spaces, Mathematische Annalen, vol. 341 (2008), no. 1, pp. 1538.
[5] Avilés, Antonio and Todorcevic, Stevo, Multiple gaps, arXiv:1001.4888.
[6] Bačák, Miroslav and Hájek, Petr, Mazur intersection property for Asplund spaces, Journal of Functional Analysis, vol. 255 (2008), no. 8, pp. 20902094.
[7] Balcar, Bohuslav, Glówczynski, Wieslaw, and Jech, Thomas, The sequential topology on complete Boolean algebras, Fundamenta Mathematicae, vol. 155 (1998), no. 1, pp. 5978.
[8] Balcar, Bohuslav and Jech, Thomas, Weak distributivity, a problem of von Neumann and the mystery of measurability, this Bulletin, vol. 12 (2006), no. 2, pp. 241266.
[9] Balcar, Bohuslav, Jech, Thomas J., and Pazák, T., Complete CCC Boolean algebras, the order sequential topology, and a problem of von Neumann, The Bulletin of the London Mathematical Society, vol. 37 (2005), no. 6, pp. 885898.
[10] Balogh, Zoltán T., On compact Hausdorff spaces of countable tightness, Proceedings of the American Mathematical Society, vol. 105 (1989), no. 3, pp. 755764.
[11] Baumgartner, James E. and Taylor, Alan D., Saturation properties of ideals in generic extensions. I, Transactions of the American Mathematical Society, vol. 270 (1982), no. 2, pp. 557574.
[12] Bekkali, Mohamed, Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions. Notes on lectures by Stevo Todorcevic, Lecture Notes in Mathematics 1476, Springer-Verlag, Berlin, 1991.
[13] Bell, Murray, Ginsburg, John, and Todorcevic, Stevo, Countable spread of exp Y and λ Y, Topology and its Applications, vol. 14 (1982), no. 1, pp. 112.
[14] Blass, Andreas, A partition theorem for perfect sets, Proceedings of the American Mathematical Society, vol. 82 (1981), no. 2, pp. 271277.
[15] Bourgain, Jean, Fremlin, David H., and Talagrand, Michael, Pointwise compact sets of Baire-measurable functions, American Journal of Mathematics, vol. 100 (1978), no. 4, pp. 845886.
[16] Brown, Lawrence G., Douglas, Ronald George, and Fillmore, Peter A., Extensions of C*-algebras and K-homology, Annals of Mathematics. Second Series, vol. 105 (1977), no. 2, pp. 265324.
[17] Carlson, Tim and Laver, Richard, Sacks reals and Martins axiom, Fundamenta Mathematicae, vol. 133 (1989), pp. 161168.
[18] Christensen, Jens Peter Reus, Topology and Borel structure, North-Holland Publishing Co., Amsterdam-London, 1974.
[19] Christensen, Jens Peter Reus, Some results with relation to the control measure problem, Vector space measures and applications II. Dublin, Ireland, 1977, Lecture Notes in Physics, vol. 77, Springer, Berlin-New York, 1978, pp. 2734.
[20] Davis, William J. and Johnson, William B., On the existence of fundamental and total bounded biorthogonal systems in Banach spaces, Studia Mathematica, vol. 45 (1973), pp. 173179.
[21] Deville, Robert, Godefroy, Gilles, and Zizler, Václav, Smoothness and renormings in Banach spaces, John Wiley & Sons, Inc., New York, 1993.
[22] Dilworth, Robert Palmer, A decomposition theorem for partially ordered sets, Annals of Mathematics. Second Series, vol. 51 (1950), no. 1, pp. 161166.
[23] Dodos, Pandelis and Kanellopoulos, Vassilis, On pairs of definable orthogonal families, Illinois Journal of Mathematics, vol. 52 (2008), no. 1, pp. 181201.
[24] Doebler, Philipp, Rado's Conjecture implies that all stationary set preserving forcings are semiproper, preprint, 2010.
[25] Doebler, Philipp and Schindler, Ralf, Π2 consequences of BMM plus NSω 1 is precipitous and the semiproperness of statioary set preserving forcings , Mathematical Research Letters, vol. 16 (2009), pp. 797815.
[26] Dow, Alan, PFA and , Topology and its Applications, vol. 28 (1988), no. 2, pp. 127140.
[27] Erdős, Paul and Hajnal, András, On chromatic number of graphs and set-systems, Acta Mathematica Academiae Scientiarum Hungaricae, vol. 17 (1966), no. 1–2, pp. 6199.
[28] Erdős, Paul and Tarski, Alfred, On families of mutually exclusive sets, Annals of Mathematics. Second Series, vol. 44 (1943), no. 2, pp. 315329.
[29] Fabian, Marián J., Gâteaux differentiability of convex functions and topology, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1997.
[30] Farah, Ilijas, OCA and reflection, Research Note of November 21, 1994.
[31] Farah, Ilijas, Seminar notes on problem 174, University of Toronto, December 1994.
[32] Farah, Ilijas, Analytic quotients: Theory of liftings for quotients over analytic ideals on the integers, Memoirs of the American Mathematical Society, vol. 148 (2000), no. 702, pp. 1177.
[33] Farah, Ilijas, Luzin gaps, Transactions of the American Mathematical Society, vol. 356 (2004), no. 6, pp. 21972239.
[34] Farah, Ilijas, Rigidity conjectures, Logic colloquium 2000, Lecture Notes in Logic, vol. 19, Association for Symbolic Logic, Urbana, IL, 2005, pp. 252271.
[35] Farah, Ilijas, All automorphisms of the Calkin algebra are inner, March 2007.
[36] Farah, Ilijas and Zapletal, Jindrich, Between Maharam's and von Neumann's problems, Mathematical Research Letters, vol. 11 (2004), no. 5–6, pp. 673684.
[37] Feng, Qi, Homogeneity for open partitions of pairs of reals, Transactions of the American Mathematical Society, vol. 339 (1993), no. 2, pp. 659684.
[38] Feng, Qi, Rado's conjecture and presaturation of the nonstationary ideal on ω1 , The Journal of Symbolic Logic, vol. 64 (1999), no. 1, pp. 3844.
[39] Foreman, Matthew, An ℵ1-dense ideal on ℵ2 , Israel Journal of Mathematics, vol. 108 (1998), pp. 253290.
[40] Foreman, Matthew, Maidor, Menachem, and Shelah, Saharon, Martin's maximum, saturated ideals, and non-regular ultrafilters, Annals of Mathematics, vol. 127 (1988), pp. 147.
[41] Fremlin, David H., Consequences of Martin's axiom, Cambridge University Press, 1984.
[42] Fremlin, David H., Perfect pre-images of ωi and the PFA, Topology and its Applications, vol. 29 (1988), no. 2, pp. 151166.
[43] Fremlin, David H., The partially ordered sets of measure theory and Tukey's ordering, Note di Matematica, vol. 11 (1991), pp. 177214, dedicated to the memory of Professor Gottfried Köthe.
[44] Galvin, Fred, On Gruenhage's generalization of first countable spaces, II, Notices of the American Mathematical Society, vol. 24 (1977), pp. A257.
[45] Gitik, Moti, Nonsplitting subset of , The Journal of Symbolic Logic, vol. 50 (1985), no. 4, pp. 881894.
[46] Hagler, James and Johnson, William B., On Banach spaces whose dual balls are not weak* sequentially compact, Israel Journal of Mathematics, vol. 28 (1977), no. 4, pp. 325330.
[47] Hájek, Petr, Santalucía, Vicente Montesinos, Vanderwerff, Jon, and Zizler, Václav, Biorthogonal systems in Banach spaces, Springer, New York, 2008.
[48] Harrington, Leo, Marker, David, and Shelah, Saharon, Borel orderings, Transactions of the American Mathematical Society, vol. 310 (1988), no. 1, pp. 293302.
[49] Hausdorff, Felix, Die Graduierung nach dem Endverlauf, Abhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften, Mathematisch-Physische Klasse, vol. 31 (1909), pp. 296334.
[50] Hausdorff, Felix, Summen von ℵ1 Mengen, Fundamenta Mathematicae, vol. 26 (1936), pp. 241255.
[51] Hirschorn, James, Random trees under CH, Israel Journal of Mathematics, vol. 157 (2007), no. 1, pp. 123153.
[52] Horn, Alfred and Tarski, Alfred, Measures in Boolean algebras, Transactions of the American Mathematical Society, vol. 64 (1948), no. 3, pp. 467497.
[53] Isbell, John R., Seven cofinal types, Journal of the London Mathematical Society. Second Series, vol. 4 (1972), no. 4, pp. 651654.
[54] Jech, Thomas, Set theory, the third millennium ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
[55] Jensen, Ronald, The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229308; erratum, Ronald Jensen, The fine structure of the constructible hierarchy, Annals of Mathematical Logic , vol. 4 (1972), p. 443, with a section by Jack Silver.
[56] Jensen, Ronald, Schimmerling, Ernest, Schindler, Ralf, and Steel, John, Stacking mice, The Journal of Symbolic Logic, vol. 74 (2009), no. 1, pp. 315335.
[57] Johnson, William B. and Rosenthal, Haskell P., On ω*-basic sequences and their applications to the study of Banach spaces, Studia Mathematica, vol. 43 (1972), pp. 7792.
[58] Juhasz, Istvan and Szentmiklossy, Zoltan, Convergent free sequences in compact spaces, Proceedings of the American Mathematical Society, vol. 116 (1992), no. 4, pp. 11531160.
[59] Just, Winfried, Nowhere dense P-subsets of ω, Proceedings of the American Mathematical Society, vol. 106 (1989), no. 4, pp. 11451146.
[60] Just, Winfried, Repercussions of a problem of Erdos and Ulam on density ideals, Canadian Journal of Mathematics, vol. 42 (1990), no. 5, pp. 902914.
[61] Just, Winfried, A modification of Shelah's oracle-c.c. with applications, Transactions of the American Mathematical Society, vol. 329 (1992), no. 1, pp. 325356.
[62] Just, Winfried, A weak version of AT from OCA, Set theory of the continuum (Berkeley, CA, 1989), Mathematical Sciences Research Institute Publications, vol. 26, Springer, New York, 1992, pp. 281291.
[63] Kanovei, Vladimir and Reeken, Michael, On Ulam'sproblem concerning the stability of approximate homomorphisms, Proceedings of the Steklov Institute of Mathematics, vol. 231 (2000), no. 4, pp. 238270.
[64] Kechris, Alexander S., Solecki, Sławomir, and Todorcevic, Stevo, Borel chromatic numbers, Advances in Mathematics, vol. 141 (1999), no. 1, pp. 144.
[65] Komjáth, Peter, The chromatic number of some uncountable graphs, Sets, graphs and numbers (Budapest, 1991), North-Holland, Amsterdam, 1992, pp. 439444.
[66] Koszmider, Potr, On a problem of Rolewich about Banach spaces that admit support sets, preprint, 2005.
[67] Kunen, Kenneth, Set theory. An introduction to independence proofs, North-Holland Publishing Co., Amsterdam-New York, 1980.
[68] Leiderman, Arkady G. and Malykhin, Vitaly I., On preservation of the Lindelöf property in products of function spaces Cp (X), Siberian Mathematical Journal, vol. 29 (1988), pp. 6572.
[69] Maharam, Dorothy, An algebraic characterization of measure algebras, Annals of Mathematics. Second Series, vol. 48 (1947), no. 1, pp. 154167.
[70] Martin, Donald A. and Steel, John R., Projective determinacy, Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), no. 18, pp. 65826586.
[71] Mauldin, R. Daniel, The Scottish book. Mathematics from the Scottish Café, Birkhäuser, Boston, Massachusetts, 1981.
[72] Mazur, Stanislaw, Uber schwache Konvergentz in en Raumen Lp , Studia Mathematica, vol. 4 (1933), pp. 128133.
[73] van Mill, Jan and Reed, George M. (editors), Open problems in topology, North-Holland Publishing Co., Amsterdam, 1990.
[74] Miller, Benjamin, Glimm–Effros dichotomies, 2009.
[75] Moore, Justin Tatch, Open colorings, the continuum and the second uncountable cardinal, Proceedings of the American Mathematical Society, vol. 130 (2002), no. 9, pp. 27532759.
[76] Moore, Justin Tatch, A solution to the L space problem, Journal of the American Mathematical Society, vol. 19 (2006), no. 3, pp. 717736.
[77] Mujica, Jorge, Separable quotients of Banach spaces, Revista Matemática Complutense, vol. 10 (1997), no. 2, pp. 299330.
[78] Odell, Edward and Rosenthal, Haskell P., A double-dual characterization of separable Banach spaces containing l1 , Israel Journal of Mathematics, vol. 20 (1975), no. 3–4, pp. 375384.
[79] Pedersen, Gert. K., Analysis now, Graduate Texts in Mathematics, vol. 118, Springer-Verlag, New York, 1989.
[80] Phillips, N. Christopher and Weaver, Nikolai, The Calkin algebra has outer automorphisms, Duke Mathematical Journal, vol. 139 (2007), no. 1, pp. 185202.
[81] Quickert, Sandra, CH and the Sacks property, Fundamenta Mathematicae, vol. 171 (2002), no. 1,pp. 93100.
[82] Rado, Richard, Covering theorems for ordered sets, Proceedings of the London Mathematical Society. Second Series, vol. 50 (1949), no. 7, pp. 509535.
[83] Rado, Richard, Theorems on intervals of ordered sets, Discrete Mathematics, vol. 35 (1981), pp. 199201.
[84] Rolewicz, Stefan, On convex sets containing only points of support, Commentationes Mathematicae, (1978), pp. 279281, special issue 1 dedicated to Wladyslaw Orlicz on the occasion of his seventy-fifth birthday.
[85] Rosenthal, Haskell P., Point-wise compact subsets of the first Baire class, American Journal of Mathematics, vol. 99 (1977), no. 2, pp. 362378.
[86] Rudin, Mary Ellen, Lectures on set theoretic topology, American Mathematical Society, Providence, RI, 1975.
[87] Schimmerling, Ernest and Zeman, Martin, Characterization of □κ in core models, Journal of Mathematical Logic, vol. 4 (2004), pp. 172.
[88] Sevilla, Mar Jiménez and Moreno, José P., Renorming Banach spaces with the Mazur intersection property, Journal of Functional Analysis, vol. 144 (1997), no. 2, pp. 486504.
[89] Shelah, Saharon, Proper forcing, Lecture Notes in Mathematics, 940, Springer-Verlag, Berlin-New York, 1982.
[90] Shelah, Saharon, Reflection implies the SCH, Fundamenta Mathematicae, vol. 198 (2008), no. 2, pp. 95111.
[91] Shindler, Ralf and Steel, John, The core model induction, book in preparation.
[92] Silver, Jack, On the singular cardinals problem, Proceedings of the International Congress of Mathematicians (Vancouver, B.C., 1974), vol. 1, 1974, pp. 265268.
[93] Silver, Jack, Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Annals of Mathematical Logic, vol. 18 (1980), no. 1, pp. 128.
[94] Solecki, Slawomir, Analytic ideals and their applications, Annals of Pure and Applied Logic, vol. 99 (1999), no. 1–3, pp. 5172.
[95] Solecki, Slawomir and Todorcevic, Stevo, Cofinal types of topological directed orders, Université de Grenoble. Annales de l'Institut Fourier, vol. 54 (2004), no. 6, pp. 18771911.
[96] Solovay, Robert M., On the cardinality of sets of reals, Foundations of Mathematics (Symposium commemorating Kurt Gödel, Columbus, Ohio, 1966), Springer, New York, 1969, pp. 5873.
[97] Solovay, Robert M., Real-valued measurable cardinals, Axiomatic set theory. Proceedings of the Symposium of Pure Mathematics (Scott, D. S., editor), vol. XIII, Part I, American Mathematics Society, Providence, 1971, pp. 397428.
[98] Solovay, Robert M., Strongly compact cardinals and the GCH, Proceedings of Symposia in Pure Mathematics, vol. XXV, American Mathematical Society, Providence, Rhode Island, 1974, pp. 365372.
[99] Steel, John, PFA implies AD L (ℝ), The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 12551296.
[100] Talagrand, Michel, Maharam's problem, Annals of Mathematics. Second Series, vol. 168 (2008), no. 3, pp. 9811009.
[101] Todorcevic, Stevo, Stationary sets, trees and continuums, Institut Mathématique. Publications. (Beograd) Nouvelle Série, vol. 29 (1981), no. 43, pp. 249262.
[102] Todorcevic, Stevo, Forcing positive partition relations, Transactions of the American Mathematical Society, vol. 280 (1983), no. 2, pp. 703720.
[103] Todorcevic, Stevo, On a conjecture of R. Rado, Journal of the London Mathematical Society. Second Series, vol. 27 (1983), no. 1, pp. 18.
[104] Todorcevic, Stevo, A note on the proper forcing axiom, Axiomatic set theory (Boulder, Colorado, 1983), Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, RI, 1984, pp. 209218.
[105] Todorcevic, Stevo, Reflection of stationary sets, Circulated note, 1984.
[106] Todorcevic, Stevo, Directed sets and cofinal types, Transactions of the American Mathematical Society, vol. 290 (1985), no. 2, pp. 711723.
[107] Todorcevic, Stevo, PFA fails in the Sacks extension, circulated note, September 1987.
[108] Todorcevic, Stevo, Oscillations of real numbers, Logic colloquium '86 (Hull, 1986), Studies in Logic and the Foundations of Mathematics, vol. 124, North-Holland, Amsterdam, 1988, pp. 325331.
[109] Todorcevic, Stevo, PFA implies ω2 ↛ (ω2, ω: 2)2, circulated note, January 1988.
[110] Todorcevic, Stevo, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, Rhode Island, 1989.
[111] Todorcevic, Stevo, Remarks on Martin's axiom and the continuum hypothesis, Canadian Journal of Mathematics, vol. 43 (1991), no. 4, pp. 832851.
[112] Todorcevic, Stevo, Two examples of Borel partially ordered sets with the countable chain condition, Proceedings of the American Mathematical Society, vol. 112 (1991), no. 4, pp. 11251128.
[113] Todorcevic, Stevo, Conjectures of Rado and Chang and cardinal arithmetic, Finite and infinite combinatorics in sets and logic, Kluwer, Dordrecht, 1993, pp. 385398.
[114] Todorcevic, Stevo, Some applications of S and L combinatorics, Annals of the New York Academy of Sciences, vol. 705 (1993), pp. 130167.
[115] Todorcevic, Stevo, Chang's conjecture and almost disjoint functions, note, April 1995.
[116] Todorcevic, Stevo, Analytic gaps, Fundamenta Mathematicae, vol. 150 (1996), no. 1, pp. 5566.
[117] Todorcevic, Stevo, A classification of transitive relations on ω1 , Proceedings of the London Mathematical Society. Third Series, vol. 73 (1996), no. 3, pp. 501533.
[118] Todorcevic, Stevo, Comparing the continuum with the first two uncountable cardinals, Logic and scientific methods (Florence, 1995), Synthese Library, vol. 259, Kluwer Academic Publications, Dordrecht, 1997, pp. 145155.
[119] Todorcevic, Stevo, Embeddability of K × C into X, Bulletin. Classe des Sciences Mathématiques et Naturelles. Sciences Mathématiques, (1997), no. 22, pp. 2735.
[120] Todorcevic, Stevo, Gaps in analytic quotients, Fundamenta Mathematicae, vol. 156 (1998), no. 1, pp. 8597.
[121] Todorcevic, Stevo, Oscillations of sets of integers, Advances in Applied Mathematics, vol. 20 (1998), no. 2, pp. 220252.
[122] Todorcevic, Stevo, Compact subsets of the first Baire class, Journal of the American Mathematical Society, vol. 12 (1999), no. 4, pp. 11791212.
[123] Todorcevic, Stevo, A dichotomy for P-ideals of countable sets, Fundamenta Mathematicae, vol. 166 (2000), no. 3, pp. 251267.
[124] Todorcevic, Stevo, A problem of von Neumann and Maharam about algebras supporting continuous submeasures, Fundamenta Mathematicae, vol. 183 (2004), no. 2, pp. 169183.
[125] Todorcevic, Stevo, Biorthogonal systems and quotient spaces via Baire category methods, Mathematische Annalen, vol. 335 (2006), no. 3, pp. 687715.
[126] Todorcevic, Stevo, Two possible cofinalities for infinite-dimensional Banach spaces, research note, June 2007.
[127] Todorcevic, Stevo, Walks on ordinals and their characteristics, Progress in Mathematics, vol. 263, Birkhäuser Verlag, Basel, 2007.
[128] Todorcevic, Stevo, Introduction to Ramsey spaces, Annals of Mathematics Studies, no. 174, Princeton University Press, 2010.
[129] Todorcevic, Stevo and Uzcátegui, Carlos, Analytic k-spaces, Topology and its Applications, vol. 146/147 (2005), pp. 511526.
[130] Todorcevic, Stevo and Velickovic, Boban, Martins axiom and partitions, Compositio Mathematica, vol. 63 (1987), no. 3, pp. 391408.
[131] Tukey, John Wilder, Convergence and uniformity in topology, Annals of Mathematics Studies, no. 2, Princeton University Press, Princeton, NJ, 1940.
[132] Velickovic, Boban, Definable automorphisms of /Fin, Proceedings of the American Mathematical Society, vol. 96 (1986), no. 1, pp. 130135.
[133] Velickovic, Boban, OCA and automorphisms of /Fin , Topology and its Applications, vol. 49 (1993), pp. 113.
[134] Velickovic, Boban, ccc forcing and splitting reals, Israel Journal of Mathematics, vol. 147 (2005), pp. 209220.
[135] Viale, Matteo, A family of covering properties, Mathematical Research Letters, vol. 15 (2008), no. 2, pp. 221238.
[136] Woodin, W. Hugh, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), no. 18, pp. 65876591.
[137] Woodin, W. Hugh, The axiom of determinacy, forcing axioms, and the nonstationary ideal, De Gruyter, Berlin, New York, 1999.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×