Geometric Set Theory

Larson, Paul; Zapletal, Jindrich

doi:10.1090/surv/248

AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Geometric Set Theory

About this Title

Paul B. Larson, Miami University, Oxford, OH and Jindrich Zapletal, Czech Academy of Sciences, Prague, Czech Republic

Publication: Mathematical Surveys and Monographs
Publication Year: 2020; Volume 248
ISBNs: 978-1-4704-5462-3 (print); 978-1-4704-6018-1 (online)
DOI: https://doi.org/10.1090/surv/248

PDF View full volume as PDF

Read more about this volume

Francis Adams and Jindřich Zapletal, Cardinal invariants of closed graphs, Israel J. Math. 227 (2018), no. 2, 861–888. MR 3846345, DOI 10.1007/s11856-018-1745-6
Martin Aigner, Combinatorial theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 234, Springer-Verlag, Berlin-New York, 1979. MR 542445
Reinhold Baer, Abelian groups that are direct summands of every containing abelian group, Bull. Amer. Math. Soc. 46 (1940), 800–806. MR 2886, DOI 10.1090/S0002-9904-1940-07306-9
Bohuslav Balcar, Thomas Jech, and Jindřich Zapletal, Semi-Cohen Boolean algebras, Ann. Pure Appl. Logic 87 (1997), no. 3, 187–208. MR 1474561, DOI 10.1016/S0168-0072(97)00009-2
John T. Baldwin and Paul B. Larson, Iterated elementary embeddings and the model theory of infinitary logic, Ann. Pure Appl. Logic 167 (2016), no. 3, 309–334. MR 3437649, DOI 10.1016/j.apal.2015.12.004
John T. Baldwin, Sy D. Friedman, Martin Koerwien, and Michael C. Laskowski, Three red herrings around Vaught’s conjecture, Trans. Amer. Math. Soc. 368 (2016), no. 5, 3673–3694. MR 3451890, DOI 10.1090/tran/6572
Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295
James E. Baumgartner and Alan D. Taylor, Partition theorems and ultrafilters, Trans. Amer. Math. Soc. 241 (1978), 283–309. MR 491193, DOI 10.1090/S0002-9947-1978-0491193-1
A. Bella, A. Dow, K. P. Hart, M. Hrušák, J. van Mill, and P. Ursino, Embeddings into ${\scr P}({\Bbb N})/\rm fin$ and extension of automorphisms, Fund. Math. 174 (2002), no. 3, 271–284. MR 1925004, DOI 10.4064/fm174-3-7
Mariam Beriashvili, Ralf Schindler, Liuzhen Wu, and Liang Yu, Hamel bases and well-ordering the continuum, Proc. Amer. Math. Soc. 146 (2018), no. 8, 3565–3573. MR 3803680, DOI 10.1090/proc/14010
Andreas Blass, Ultrafilters related to Hindman’s finite-unions theorem and its extensions, Logic and combinatorics (Arcata, Calif., 1985) Contemp. Math., vol. 65, Amer. Math. Soc., Providence, RI, 1987, pp. 89–124. MR 891244, DOI 10.1090/conm/065/891244
Andreas Blass, Natasha Dobrinen, and Dilip Raghavan, The next best thing to a P-point, J. Symb. Log. 80 (2015), no. 3, 866–900. MR 3395353, DOI 10.1017/jsl.2015.31
Jörg Brendle, Fabiana Castiblanco, Ralf Schindler, Liuzhen Wu, and Liang Yu, A model with everything except a well-ordering of the reals, arXiv:1809.10420, 2018.
Jörg Brendle and Michael Hrušák, Countable Fréchet Boolean groups: an independence result, J. Symbolic Logic 74 (2009), no. 3, 1061–1068. MR 2548480, DOI 10.2178/jsl/1245158099
Boris Bukh, Measurable sets with excluded distances, Geom. Funct. Anal. 18 (2008), no. 3, 668–697. MR 2438995, DOI 10.1007/s00039-008-0673-8
Lev Bukovský, Iterated ultrapower and Prikry’s forcing, Comment. Math. Univ. Carolinae 18 (1977), no. 1, 77–85. MR 446978
Andrés Eduardo Caicedo, John Daniel Clemens, Clinton Taylor Conley, and Benjamin David Miller, Definability of small puncture sets, Fund. Math. 215 (2011), no. 1, 39–51. MR 2851700, DOI 10.4064/fm215-1-2
Jack Ceder, Finite subsets and countable decompositions of Euclidean spaces, Rev. Roumaine Math. Pures Appl. 14 (1969), 1247–1251. MR 257307
David Chodounský and Osvaldo Guzmán, There are no P-points in Silver extensions, Israel J. Math. 232 (2019), no. 2, 759–773. MR 3990958, DOI 10.1007/s11856-019-1886-2
Clinton T. Conley and Benjamin D. Miller, A bound on measurable chromatic numbers of locally finite Borel graphs, Math. Res. Lett. 23 (2016), no. 6, 1633–1644. MR 3621100, DOI 10.4310/MRL.2016.v23.n6.a3
Patrick Dehornoy, Iterated ultrapowers and Prikry forcing, Ann. Math. Logic 15 (1978), no. 2, 109–160. MR 514228, DOI 10.1016/0003-4843(78)90018-9
Carlos Augusto Di Prisco and Stevo Todorcevic, Perfect-set properties in $L(\textbf {R})[U]$, Adv. Math. 139 (1998), no. 2, 240–259. MR 1654181, DOI 10.1006/aima.1998.1752
Natasha Dobrinen and Daniel Hathaway, Forcing and the Halpern-Läuchli theorem, J. Symb. Log. 85 (2020), no. 1, 87–102. MR 4085056, DOI 10.1017/jsl.2019.59
Natasha Dobrinen, José G. Mijares, and Timothy Trujillo, Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points, Arch. Math. Logic 56 (2017), no. 7-8, 733–782. MR 3696065, DOI 10.1007/s00153-017-0540-0
Alan Dow, Set theory in topology, Recent progress in general topology (Prague, 1991) North-Holland, Amsterdam, 1992, pp. 167–197. MR 1229125
P. Erdös and S. Kakutani, On non-denumerable graphs, Bull. Amer. Math. Soc. 49 (1943), 457–461. MR 8136, DOI 10.1090/S0002-9904-1943-07954-2
P. Erdős and A. Hajnal, On the structure of set-mappings, Acta Math. Acad. Sci. Hungar. 9 (1958), 111–131. MR 95124, DOI 10.1007/BF02023868
P. Erdős and A. Hajnal, On chromatic number of graphs and set-systems, Acta Math. Acad. Sci. Hungar. 17 (1966), 61–99. MR 193025, DOI 10.1007/BF02020444
P. Erdős and P. Komjáth, Countable decompositions of $\textbf {R}^2$ and $\textbf {R}^3$, Discrete Comput. Geom. 5 (1990), no. 4, 325–331. MR 1043714, DOI 10.1007/BF02187793
Ilijas Farah, Semiselective coideals, Mathematika 45 (1998), no. 1, 79–103. MR 1644345, DOI 10.1112/S0025579300014054
Ilijas Farah, Ideals induced by Tsirelson submeasures, Fund. Math. 159 (1999), no. 3, 243–258. MR 1680630, DOI 10.4064/fm-159-3-243-258
Ilijas Farah, Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Mem. Amer. Math. Soc. 148 (2000), no. 702, xvi+177. MR 1711328, DOI 10.1090/memo/0702
Matthew Foreman and Menachem Magidor, Large cardinals and definable counterexamples to the continuum hypothesis, Ann. Pure Appl. Logic 76 (1995), no. 1, 47–97. MR 1359154, DOI 10.1016/0168-0072(94)00031-W
Roland Fraïssé, Sur l’extension aux relations de quelques propriétés des ordres, Ann. Sci. École Norm. Sup. (3) 71 (1954), 363–388 (French). MR 0069239
D. H. Fremlin, Measure theory. Vol. 5. Set-theoretic measure theory. Part II, Torres Fremlin, Colchester, 2015. Corrected reprint of the 2008 original. MR 3723041
Harvey Friedman and Lee Stanley, A Borel reducibility theory for classes of countable structures, J. Symbolic Logic 54 (1989), no. 3, 894–914. MR 1011177, DOI 10.2307/2274750
Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. MR 2455198
E. Glasner, B. Tsirelson, and B. Weiss, The automorphism group of the Gaussian measure cannot act pointwise, Israel J. Math. 148 (2005), 305–329. Probability in mathematics. MR 2191233, DOI 10.1007/BF02775441
G. Grünwald, Egy halmazelméleti tételről, Mathematikai és Fizikai Lapok, 44 (1937), 51–53.
András Hajnal and Attila Máté, Set mappings, partitions, and chromatic numbers, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland, Amsterdam, 1975, pp. 347–379. MR 0424569
R. Halin, Über unendliche Wege in Graphen, Math. Ann. 157 (1964), 125–137 (German). MR 170340, DOI 10.1007/BF01362670
Eric J. Hall, Kyriakos Keremedis, and Eleftherios Tachtsis, The existence of free ultrafilters on $\omega$ does not imply the extension of filters on $\omega$ to ultrafilters, MLQ Math. Log. Q. 59 (2013), no. 4-5, 258–267. MR 3100753, DOI 10.1002/malq.201100092
Philip Hall, On representatives of subsets, J. London Math. Soc., 10 (1935), 26–30.
J. M. Henle, A. R. D. Mathias, and W. Hugh Woodin, A barren extension, Methods in mathematical logic (Caracas, 1983) Lecture Notes in Math., vol. 1130, Springer, Berlin, 1985, pp. 195–207. MR 799042, DOI 10.1007/BFb0075312
Neil Hindman and Dona Strauss, Algebra in the Stone-Čech compactification, De Gruyter Expositions in Mathematics, vol. 27, Walter de Gruyter & Co., Berlin, 1998. Theory and applications. MR 1642231, DOI 10.1515/9783110809220
Greg Hjorth and Alexander S. Kechris, Rigidity theorems for actions of product groups and countable Borel equivalence relations, Mem. Amer. Math. Soc. 177 (2005), no. 833, viii+109. MR 2155451, DOI 10.1090/memo/0833
Wilfrid Hodges, A shorter model theory, Cambridge University Press, Cambridge, 1997. MR 1462612
Haim Horowitz and Saharon Shelah, Transcendence bases, well-orderings of the reals and the axiom of choice, arXiv:1901.01508, 2019.
M. Hrušák, D. Meza-Alcántara, E. Thümmel, and C. Uzcátegui, Ramsey type properties of ideals, Ann. Pure Appl. Logic 168 (2017), no. 11, 2022–2049. MR 3692233, DOI 10.1016/j.apal.2017.06.001
Jaime I. Ihoda and Saharon Shelah, Souslin forcing, J. Symbolic Logic 53 (1988), no. 4, 1188–1207. MR 973109, DOI 10.2307/2274613
Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
Haim Judah, Andrzej Rosłanowski, and Saharon Shelah, Examples for Souslin forcing, Fund. Math. 144 (1994), no. 1, 23–42. MR 1271476, DOI 10.4064/fm-144-1-23-42
I. Juhász, S. Shelah, and L. Soukup, More on countably compact, locally countable spaces, Israel J. Math. 62 (1988), no. 3, 302–310. MR 955134, DOI 10.1007/BF02783299
Vladimir Kanovei, Borel equivalence relations, University Lecture Series, vol. 44, American Mathematical Society, Providence, RI, 2008. Structure and classification. MR 2441635, DOI 10.1090/ulect/044
Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey theory on Polish spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013. MR 3135065, DOI 10.1017/CBO9781139208666
Itay Kaplan and Saharon Shelah, Forcing a countable structure to belong to the ground model, MLQ Math. Log. Q. 62 (2016), no. 6, 530–546. MR 3601093, DOI 10.1002/malq.201400094
M. Kaufmann, The quantifier “there exist uncountably many” and some of its relatives, Model-theoretic logics, Perspect. Math. Logic, Springer, New York, 1985, pp. 123–176. MR 819535
Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
Alexander S. Kechris, Actions of Polish groups and classification problems, Analysis and logic (Mons, 1997) London Math. Soc. Lecture Note Ser., vol. 262, Cambridge Univ. Press, Cambridge, 2002, pp. 115–187. MR 1967835
A. S. Kechris, V. G. Pestov, and S. Todorcevic, Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups, Geom. Funct. Anal. 15 (2005), no. 1, 106–189. MR 2140630, DOI 10.1007/s00039-005-0503-1
A. S. Kechris, S. Solecki, and S. Todorcevic, Borel chromatic numbers, Adv. Math. 141 (1999), no. 1, 1–44. MR 1667145, DOI 10.1006/aima.1998.1771
Richard Ketchersid, Paul Larson, and Jindřich Zapletal, Ramsey ultrafilters and countable-to-one uniformization, Topology Appl. 213 (2016), 190–198. MR 3563079, DOI 10.1016/j.topol.2016.08.018
Julia Knight, Antonio Montalbán, and Noah Schweber, Computable structures in generic extensions, J. Symb. Log. 81 (2016), no. 3, 814–832. MR 3569106, DOI 10.1017/jsl.2015.30
Péter Komjáth, A decomposition theorem for $\textbf {R}^n$, Proc. Amer. Math. Soc. 120 (1994), no. 3, 921–927. MR 1169038, DOI 10.1090/S0002-9939-1994-1169038-0
Péter Komjáth, The list-chromatic number of infinite graphs defined on Euclidean spaces, Discrete Comput. Geom. 45 (2011), no. 3, 497–502. MR 2770548, DOI 10.1007/s00454-009-9228-5
Péter Komjáth and James Schmerl, Graphs on Euclidean spaces defined using transcendental distances, Mathematika 58 (2012), no. 1, 1–9. MR 2891155, DOI 10.1112/S0025579311001999
P. Komjáth and S. Shelah, Coloring finite subsets of uncountable sets, Proc. Amer. Math. Soc. 124 (1996), no. 11, 3501–3505. MR 1342032, DOI 10.1090/S0002-9939-96-03450-8
Péter Komjáth and Saharon Shelah, Two consistency results on set mappings, J. Symbolic Logic 65 (2000), no. 1, 333–338. MR 1782123, DOI 10.2307/2586540
Georges Kurepa, À propos d’une généralisation de la notion d’ensembles bien ordonnés, Acta Math. 75 (1943), 139–150 (French). MR 13762, DOI 10.1007/BF02404103
Adam Kwela and Marcin Sabok, Topological representations, J. Math. Anal. Appl. 422 (2015), no. 2, 1434–1446. MR 3269521, DOI 10.1016/j.jmaa.2014.09.059
Paul B. Larson and Jindřich Zapletal, Discontinuous homomorphisms, selectors, and automorphisms of the complex field, Proc. Amer. Math. Soc. 147 (2019), no. 4, 1733–1737. MR 3910437, DOI 10.1090/proc/14338
Paul B. Larson, The stationary tower, University Lecture Series, vol. 32, American Mathematical Society, Providence, RI, 2004. Notes on a course by W. Hugh Woodin. MR 2069032, DOI 10.1090/ulect/032
Paul B. Larson, Scott processes, Beyond first order model theory, CRC Press, Boca Raton, FL, 2017, pp. 23–76. MR 3729323
Paul Larson and Jindřich Zapletal, Canonical models for fragments of the axiom of choice, J. Symb. Log. 82 (2017), no. 2, 489–509. MR 3663414, DOI 10.1017/jsl.2017.29
Dominique Lecomte and Benjamin D. Miller, Basis theorems for non-potentially closed sets and graphs of uncountable Borel chromatic number, J. Math. Log. 8 (2008), no. 2, 121–162. MR 2673697, DOI 10.1142/S0219061308000749
Jean-Pierre Levinski, Menachem Magidor, and Saharon Shelah, Chang’s conjecture for $\aleph _\omega$, Israel J. Math. 69 (1990), no. 2, 161–172. MR 1045371, DOI 10.1007/BF02937302
Saunders Mac Lane, A lattice formulation for transcendence degrees and $p$-bases, Duke Math. J. 4 (1938), no. 3, 455–468. MR 1546067, DOI 10.1215/S0012-7094-38-00438-7
David Marker, Model theory, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002. An introduction. MR 1924282
Andrew Marks and Spencer Unger, Baire measurable paradoxical decompositions via matchings, Adv. Math. 289 (2016), 397–410. MR 3439691, DOI 10.1016/j.aim.2015.11.034
A. R. D. Mathias, On sequences generic in the sense of Prikry, J. Austral. Math. Soc. 15 (1973), 409–414. MR 0332482
Diego A. Mejía, Matrix iterations with vertical support restrictions, Proceedings of the 14th and 15th Asian Logic Conferences, World Sci. Publ., Hackensack, NJ, 2019, pp. 213–248. MR 3890467
Benjamin D. Miller, The graph-theoretic approach to descriptive set theory, Bull. Symbolic Logic 18 (2012), no. 4, 554–575. MR 3053069
Jaroslav Ne et il, Ramsey classes and homogeneous structures, Combin. Probab. Comput. 14 (2005), no. 1-2, 171–189. MR 2128088, DOI 10.1017/S0963548304006716
Jaroslav Ne et il and Vojtěch Rödl, Partitions of finite relational and set systems, J. Combinatorial Theory Ser. A 22 (1977), no. 3, 289–312. MR 437351, DOI 10.1016/0097-3165(77)90004-8
James G. Oxley, Matroid theory, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1992. MR 1207587
Vladimir Pestov, Dynamics of infinite-dimensional groups, University Lecture Series, vol. 40, American Mathematical Society, Providence, RI, 2006. The Ramsey-Dvoretzky-Milman phenomenon; Revised edition of Dynamics of infinite-dimensional groups and Ramsey-type phenomena [Inst. Mat. Pura. Apl. (IMPA), Rio de Janeiro, 2005; MR2164572]. MR 2277969, DOI 10.1090/ulect/040
Christian Rosendal, Cofinal families of Borel equivalence relations and quasiorders, J. Symbolic Logic 70 (2005), no. 4, 1325–1340. MR 2194249, DOI 10.2178/jsl/1129642127
Christian Rosendal, Automatic continuity of group homomorphisms, Bull. Symbolic Logic 15 (2009), no. 2, 184–214. MR 2535429, DOI 10.2178/bsl/1243948486
Christian Rosendal, Continuity of universally measurable homomorphisms, Forum Math. Pi 7 (2019), e5, 20. MR 3996719, DOI 10.1017/fmp.2019.5
Christian Rosendal and Sławomir Solecki, Automatic continuity of homomorphisms and fixed points on metric compacta, Israel J. Math. 162 (2007), 349–371. MR 2365867, DOI 10.1007/s11856-007-0102-y
Edward R. Scheinerman and Daniel H. Ullman, Fractional graph theory, Wiley-Interscience Series in Discrete Mathematics and Optimization, John Wiley & Sons, Inc., New York, 1997. A rational approach to the theory of graphs; With a foreword by Claude Berge; A Wiley-Interscience Publication. MR 1481157
James H. Schmerl, Countable partitions of Euclidean space, Math. Proc. Cambridge Philos. Soc. 120 (1996), no. 1, 7–12. MR 1373342, DOI 10.1017/S0305004100074612
James H. Schmerl, Avoidable algebraic subsets of Euclidean space, Trans. Amer. Math. Soc. 352 (2000), no. 6, 2479–2489. MR 1608502, DOI 10.1090/S0002-9947-99-02331-4
Saharon Shelah, On measure and category, Israel J. Math. 52 (1985), no. 1-2, 110–114. MR 815606, DOI 10.1007/BF02776084
Saharon Shelah, Proper and improper forcing, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. MR 1623206, DOI 10.1007/978-3-662-12831-2
Saharon Shelah and Juris Steprāns, PFA implies all automorphisms are trivial, Proc. Amer. Math. Soc. 104 (1988), no. 4, 1220–1225. MR 935111, DOI 10.1090/S0002-9939-1988-0935111-X
Saharon Shelah and Jindřich Zapletal, Ramsey theorems for product of finite sets with submeasures, Combinatorica 31 (2011), no. 2, 225–244. MR 2848252, DOI 10.1007/s00493-011-2677-5
Sławomir Solecki, Analytic ideals and their applications, Ann. Pure Appl. Logic 99 (1999), no. 1-3, 51–72. MR 1708146, DOI 10.1016/S0168-0072(98)00051-7
Juris Steprāns, Strong $Q$-sequences and variations on Martin’s axiom, Canad. J. Math. 37 (1985), no. 4, 730–746. MR 801424, DOI 10.4153/CJM-1985-039-6
Jacques Stern, On Lusin’s restricted continuum problem, Ann. of Math. (2) 120 (1984), no. 1, 7–37. MR 750715, DOI 10.2307/2007070
E. Szemerédi, On sets of integers containing no $k$ elements in arithmetic progression, Acta Arith. 27 (1975), 199–245. MR 369312, DOI 10.4064/aa-27-1-199-245
A. Szymański and Zhou Hao Xua, The behaviour of $\omega ^{2^{\ast } }$ under some consequences of Martin’s axiom, General topology and its relations to modern analysis and algebra, V (Prague, 1981) Sigma Ser. Pure Math., vol. 3, Heldermann, Berlin, 1983, pp. 577–584. MR 698462
Simon Thomas and Jindřich Zapletal, On the Steinhaus and Bergman properties for infinite products of finite groups, Confluentes Math. 4 (2012), no. 2, 1250002, 26. MR 2982769, DOI 10.1142/S1793744212500028
Stevo Todorčević, Partition problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1989. MR 980949, DOI 10.1090/conm/084
Stevo Todorčević, Remarks on Martin’s axiom and the continuum hypothesis, Canad. J. Math. 43 (1991), no. 4, 832–851. MR 1127033, DOI 10.4153/CJM-1991-048-8
Stevo Todorcevic, Walks on ordinals and their characteristics, Progress in Mathematics, vol. 263, Birkhäuser Verlag, Basel, 2007. MR 2355670, DOI 10.1007/978-3-7643-8529-3
Asger Törnquist, Definability and almost disjoint families, Adv. Math. 330 (2018), 61–73. MR 3787540, DOI 10.1016/j.aim.2018.03.005
Todor Tsankov, Automatic continuity for the unitary group, Proc. Amer. Math. Soc. 141 (2013), no. 10, 3673–3680. MR 3080189, DOI 10.1090/S0002-9939-2013-11666-7
Douglas Ulrich, Richard Rast, and Michael C. Laskowski, Borel complexity and potential canonical Scott sentences, Fund. Math. 239 (2017), no. 2, 101–147. MR 3681584, DOI 10.4064/fm326-11-2016
Lou van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR 1633348, DOI 10.1017/CBO9780511525919
Mark Brian Vanliere, SPLITTING THE REALS INTO TWO SMALL PIECES, ProQuest LLC, Ann Arbor, MI, 1982. Thesis (Ph.D.)–University of California, Berkeley. MR 2632635
Boban Velic̆ković, Definable automorphisms of ${\scr P}(\omega )/\textrm {fin}$, Proc. Amer. Math. Soc. 96 (1986), no. 1, 130–135. MR 813825, DOI 10.1090/S0002-9939-1986-0813825-8
W. Hugh Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6587–6591. MR 959110, DOI 10.1073/pnas.85.18.6587
W. Hugh Woodin, The axiom of determinacy, forcing axioms, and the nonstationary ideal, De Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter & Co., Berlin, 1999. MR 1713438, DOI 10.1515/9783110804737
Jindřich Zapletal, Forcing idealized, Cambridge Tracts in Mathematics, vol. 174, Cambridge University Press, Cambridge, 2008. MR 2391923, DOI 10.1017/CBO9780511542732
Jindřich Zapletal, Interpreter for topologists, J. Log. Anal. 7 (2015), Paper 6, 61. MR 3457546, DOI 10.4115/jla.2015.7.6
Jindřich Zapletal, Hypergraphs and proper forcing, J. Math. Log. 19 (2019), no. 2, 1950007, 64. MR 4014887, DOI 10.1142/S0219061319500077
Jindřich Zapletal, Subadditive families of hypergraphs, unpublished, 2019.
Joseph Zielinski, The complexity of the homeomorphism relation between compact metric spaces, Adv. Math. 291 (2016), 635–645. MR 3459026, DOI 10.1016/j.aim.2015.11.051

AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Geometric Set Theory

About this Title

Table of Contents

References [Enhancements On Off] (What's this?)