Open Access
2017 Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree
Teruyuki Yorioka
Notre Dame J. Formal Logic 58(3): 381-396 (2017). DOI: 10.1215/00294527-3882335
Abstract

We show that, under PFA(S), a coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic.

References

1.

[1] Abraham, U., and S. Shelah, “Isomorphism types of Aronszajn trees,” Israel Journal of Mathematics, vol. 50 (1985), pp. 75–113.[1] Abraham, U., and S. Shelah, “Isomorphism types of Aronszajn trees,” Israel Journal of Mathematics, vol. 50 (1985), pp. 75–113.

2.

[2] Abraham, U., and S. Todorčević, “Partition properties of $\omega_{1}$ compatible with CH,” Fundamenta Mathematicae, vol. 152 (1997), pp. 165–81.[2] Abraham, U., and S. Todorčević, “Partition properties of $\omega_{1}$ compatible with CH,” Fundamenta Mathematicae, vol. 152 (1997), pp. 165–81.

3.

[3] Devlin, K. J., and H. Johnsbråten, The Souslin Problem, vol. 405 of Lecture Notes in Mathematics, Springer, Berlin, 1974.[3] Devlin, K. J., and H. Johnsbråten, The Souslin Problem, vol. 405 of Lecture Notes in Mathematics, Springer, Berlin, 1974.

4.

[4] Farah, I., “OCA and towers in $\mathcal{P}(N)/\mathrm{fin}$,” Commentationes Mathematicae Universitatis Carolinae, vol. 37 (1996), pp. 861–66. MR1440716[4] Farah, I., “OCA and towers in $\mathcal{P}(N)/\mathrm{fin}$,” Commentationes Mathematicae Universitatis Carolinae, vol. 37 (1996), pp. 861–66. MR1440716

5.

[5] Fischer, A., F. D. Tall, and S. Todorčević, “PFA(S)[S] implies there are no compact S-spaces (and more),” Topology and Its Applications vol. 195 (2015), pp. 284–296.[5] Fischer, A., F. D. Tall, and S. Todorčević, “PFA(S)[S] implies there are no compact S-spaces (and more),” Topology and Its Applications vol. 195 (2015), pp. 284–296.

6.

[6] Jech, T., Set Theory, 3rd ed., Springer Monographs in Mathematics, Springer, Berlin, 2003.[6] Jech, T., Set Theory, 3rd ed., Springer Monographs in Mathematics, Springer, Berlin, 2003.

7.

[7] König, B., “Trees, games, and reflections,” Ph.D. dissertation, Ludwig-Maximilians-Universität München, Munich, 2002.[7] König, B., “Trees, games, and reflections,” Ph.D. dissertation, Ludwig-Maximilians-Universität München, Munich, 2002.

8.

[8] Kunen, K., Set Theory: An Introduction to Independence Proofs, vol. 102 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980.[8] Kunen, K., Set Theory: An Introduction to Independence Proofs, vol. 102 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980.

9.

[9] Larson, P. B., “An $\mathbb{S}_{\mathrm{max}}$ variation for one Souslin tree,” Journal of Symbolic Logic, vol. 64 (1999), pp. 81–98.[9] Larson, P. B., “An $\mathbb{S}_{\mathrm{max}}$ variation for one Souslin tree,” Journal of Symbolic Logic, vol. 64 (1999), pp. 81–98.

10.

[10] Larson, P. B., Notes on Todorčević’s Erice lectures on forcing with a coherent Souslin tree, preprint.[10] Larson, P. B., Notes on Todorčević’s Erice lectures on forcing with a coherent Souslin tree, preprint.

11.

[11] Larson, P. B., and F. D. Tall, “Locally compact perfectly normal spaces may all be paracompact,” Fundamenta Mathematicae, vol. 210 (2010), pp. 285–300. MR2733053 10.4064/fm210-3-4[11] Larson, P. B., and F. D. Tall, “Locally compact perfectly normal spaces may all be paracompact,” Fundamenta Mathematicae, vol. 210 (2010), pp. 285–300. MR2733053 10.4064/fm210-3-4

12.

[12] Larson, P. B., and F. D. Tall, “On the hereditary paracompactness of locally compact, hereditarily normal spaces,” Canadian Mathematical Bulletin, vol. 57 (2014), 579–84. MR3239121 10.4153/CMB-2014-010-3[12] Larson, P. B., and F. D. Tall, “On the hereditary paracompactness of locally compact, hereditarily normal spaces,” Canadian Mathematical Bulletin, vol. 57 (2014), 579–84. MR3239121 10.4153/CMB-2014-010-3

13.

[13] Larson, P. B., and S. Todorčević, “Chain conditions in maximal models,” Fundamenta Mathematicae, vol. 168 (2001), pp. 77–104. MR1835483 10.4064/fm168-1-3[13] Larson, P. B., and S. Todorčević, “Chain conditions in maximal models,” Fundamenta Mathematicae, vol. 168 (2001), pp. 77–104. MR1835483 10.4064/fm168-1-3

14.

[14] Larson, P. B., and S. Todorčević, “Katětov’s problem,” Transactions of the American Mathematical Society, vol. 354 (2002), pp. 1783–91. MR1881016 10.1090/S0002-9947-01-02936-1[14] Larson, P. B., and S. Todorčević, “Katětov’s problem,” Transactions of the American Mathematical Society, vol. 354 (2002), pp. 1783–91. MR1881016 10.1090/S0002-9947-01-02936-1

15.

[15] Martinez-Ranero, C., “Gap structure after forcing with a coherent Souslin tree,” Archive for Mathematical Logic, vol. 52 (2013), pp. 435–47.[15] Martinez-Ranero, C., “Gap structure after forcing with a coherent Souslin tree,” Archive for Mathematical Logic, vol. 52 (2013), pp. 435–47.

16.

[16] Miyamoto, T., “$\omega_{1}$-Souslin trees under countable support iterations,” Fundamenta Mathematicae, vol. 142 (1993), pp. 257–61. MR1220552[16] Miyamoto, T., “$\omega_{1}$-Souslin trees under countable support iterations,” Fundamenta Mathematicae, vol. 142 (1993), pp. 257–61. MR1220552

17.

[17] Moore, J. T., M. Hrušák, and M. Džamonja, “Parametrized $\diamondsuit$ principles,” Transactions of the American Mathematical Society, vol. 356 (2004), pp. 2281–306.[17] Moore, J. T., M. Hrušák, and M. Džamonja, “Parametrized $\diamondsuit$ principles,” Transactions of the American Mathematical Society, vol. 356 (2004), pp. 2281–306.

18.

[18] Morgan, C., and S. G. da Silva, “Almost disjoint families and ‘never’ cardinal invariants,” Commentationes Mathematicae Universitatis Carolinae, vol. 50 (2009), pp. 433–44.[18] Morgan, C., and S. G. da Silva, “Almost disjoint families and ‘never’ cardinal invariants,” Commentationes Mathematicae Universitatis Carolinae, vol. 50 (2009), pp. 433–44.

19.

[19] Raghavan, D., and T. Yorioka, “Some results in the extension with a coherent Suslin tree,” RIMS Kôkyûroku, vol. 1790 (2012), pp. 72–82.[19] Raghavan, D., and T. Yorioka, “Some results in the extension with a coherent Suslin tree,” RIMS Kôkyûroku, vol. 1790 (2012), pp. 72–82.

20.

[20] Tall, F. D., “$\mathrm{PFA}(S)[S]$ and the Arhangel’skiĭ-Tall problem,” Topology Proceedings, vol. 40 (2012), pp. 99–108.[20] Tall, F. D., “$\mathrm{PFA}(S)[S]$ and the Arhangel’skiĭ-Tall problem,” Topology Proceedings, vol. 40 (2012), pp. 99–108.

21.

[21] Tall, F. D., “$\mathrm{PFA}(S)[S]$: more mutually consistent topological consequences of $\mathrm{PFA}$ and $V=L$,” Canadian Journal of Mathematics, vol. 64 (2012), pp. 1182–200. MR2979581 10.4153/CJM-2012-010-0[21] Tall, F. D., “$\mathrm{PFA}(S)[S]$: more mutually consistent topological consequences of $\mathrm{PFA}$ and $V=L$,” Canadian Journal of Mathematics, vol. 64 (2012), pp. 1182–200. MR2979581 10.4153/CJM-2012-010-0

22.

[22] Tall, F. D., “PFA(S)[S] and locally compact normal spaces,” Topology and its Applications, vol. 162 (2014), pp. 100–15.[22] Tall, F. D., “PFA(S)[S] and locally compact normal spaces,” Topology and its Applications, vol. 162 (2014), pp. 100–15.

23.

[23] Todorčević, S., “Trees and linearly ordered sets,” pp. 235–93 in Handbook of Set-Theoretic Topology, North-Holland, Amsterdam, 1984.[23] Todorčević, S., “Trees and linearly ordered sets,” pp. 235–93 in Handbook of Set-Theoretic Topology, North-Holland, Amsterdam, 1984.

24.

[24] Todorčević, S., “Partitioning pairs of countable ordinals,” Acta Mathematica, vol. 159 (1987), pp. 261–94.[24] Todorčević, S., “Partitioning pairs of countable ordinals,” Acta Mathematica, vol. 159 (1987), pp. 261–94.

25.

[25] Todorčević, S., “A dichotomy for P-ideals of countable sets,” Fundamenta Mathematicae, vol. 166 (2000), pp. 251–67.[25] Todorčević, S., “A dichotomy for P-ideals of countable sets,” Fundamenta Mathematicae, vol. 166 (2000), pp. 251–67.

26.

[26] Todorčević, S., Walks on Ordinals and Their Characteristics, vol. 263 of Progress in Mathematics, Birkhäuser, Basel, 2007.[26] Todorčević, S., Walks on Ordinals and Their Characteristics, vol. 263 of Progress in Mathematics, Birkhäuser, Basel, 2007.

27.

[27] Todorčević, S., “Forcing with a coherent Suslin tree,” preprint.[27] Todorčević, S., “Forcing with a coherent Suslin tree,” preprint.

28.

[28] Todorčević, S., and I. Farah, Some Applications of the Method of Forcing, Yenisei Series in Pure and Applied Mathematics, Yenisei, Moscow, 1995.[28] Todorčević, S., and I. Farah, Some Applications of the Method of Forcing, Yenisei Series in Pure and Applied Mathematics, Yenisei, Moscow, 1995.

29.

[29] Yorioka, T., “A non-implication between fragments of Martin’s axiom related to a property which comes from Aronszajn trees,” Annals of Pure and Applied Logic, vol. 161 (2010), pp. 469–87. Correction, Annals of Pure and Applied Logic, vol. 162(2011), pp. 752–54.[29] Yorioka, T., “A non-implication between fragments of Martin’s axiom related to a property which comes from Aronszajn trees,” Annals of Pure and Applied Logic, vol. 161 (2010), pp. 469–87. Correction, Annals of Pure and Applied Logic, vol. 162(2011), pp. 752–54.

30.

[30] Yorioka, T., “Uniformizing ladder system colorings and the rectangle refining property,” Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 2961–71.[30] Yorioka, T., “Uniformizing ladder system colorings and the rectangle refining property,” Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 2961–71.
Copyright © 2017 University of Notre Dame
Teruyuki Yorioka "Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree," Notre Dame Journal of Formal Logic 58(3), 381-396, (2017). https://doi.org/10.1215/00294527-3882335
Received: 17 December 2013; Accepted: 29 October 2014; Published: 2017
Vol.58 • No. 3 • 2017
Back to Top