Skip to main content
Springer Nature Link
Log in

Gap structure after forcing with a coherent Souslin tree

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We investigate the effect after forcing with a coherent Souslin tree on the gap structure of the class of coherent Aronszajn trees ordered by embeddability. We shall show, assuming the relativized version PFA(S) of the proper forcing axiom, that the Souslin tree S forces that the class of Aronszajn trees ordered by the embeddability relation is universal for linear orders of cardinality at most\({\aleph_1}\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Kurepa G.: Ensembles ordonnés et ramifies. Acad. Serbe Sci. Publ. Inst. Math. 4, 1–138 (1935)

    Google Scholar 

  2. Larson P.: An s max -variation for one souslin tree. J. Symb. Log. 64, 81–98 (1999)

    Article  MATH  Google Scholar 

  3. Larson P., Todorcevic S.: Katetov’s problem. Trans. Am. Math. Soc. 354(5), 1783–1791 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  4. Martinez-Ranero, C.: Contributions Towards a Fine Structure of Aronszajn Orderings. Ph.D. thesis, University of Toronto (2011)

  5. Martinez-Ranero, C., Todorcevic, C.: Gap structure of coherent aronszajn trees. Math. Res. Lett. 18 (2011)

  6. Miyamoto T.: ω 1-Souslin trees under countable support iterations. Fund. Math. 142(3), 257–261 (1993)

    MathSciNet  MATH  Google Scholar 

  7. Suslin M.: Problem 3. Fund. Math. 1, 223 (1920)

    Google Scholar 

  8. Todorčević S.: Partitioning pairs of countable ordinals. Acta Math. 159(3–4), 261–294 (1987)

    MathSciNet  MATH  Google Scholar 

  9. Todorcevic S.: Lipschitz maps on trees. J. Inst. Math. Jussieu 6(3), 527–556 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Todorcevic S.: Walks on Ordinals and Their Characteristics, vol. 263 of Progress in Mathematics. Birkhäuser Verlag, Basel (2007)

    Google Scholar 

  11. Todorcevic, S.: Forcing with a coherent Souslin tree [preprint]. http://www.math.toronto.edu/~stevo (2011)

Download references

Author information

Authors and Affiliations

  1. Centro de Ciencias Matematicas, Universidad Nacional Autonomade Mexico, Antigua Carretera a Patzcuaro 8701, CP 58089, Morelia, Michocán, Mexico

    Carlos Martinez-Ranero

Authors
  1. Carlos Martinez-Ranero
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Carlos Martinez-Ranero.

Additional information

I gratefully acknowledge support from Conacyt Grant 99047.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Martinez-Ranero, C. Gap structure after forcing with a coherent Souslin tree. Arch. Math. Logic 52, 435–447 (2013). https://doi.org/10.1007/s00153-013-0323-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-013-0323-1

Keywords

Mathematics Subject Classification