Log in first for optimal use of all functions!

    Generalizing Kruskal’s theorem to pairs of cohabitating trees (English)

    In: Archive for Mathematical Logic ; 55 , 1-2 ; 37-48 ; 2015
    • ISSN:
      0933-5846
    • Article (Journal)  /  Print

    Export, share and cite

    Abstract We investigate the extent to which structures consisting of sequences of forests on the same underlying set are well-quasi-ordered under embeddings.

    Table of contents – Volume 55, Issue 1-2

    Show all volumes and issues

    The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.

    1
    Dedicated to Richard Laver
    | 2015
    3
    Indestructibility and destructible measurable cardinals
    Apter, Arthur W. et al. | 2015
    19
    Superstrong and other large cardinals are never Laver indestructible
    Bagaria, Joan / Hamkins, Joel David / Tsaprounis, Konstantinos / Usuba, Toshimichi et al. | 2015
    37
    Generalizing Kruskal’s theorem to pairs of cohabitating trees
    Carlson, Timothy et al. | 2015
    49
    Laver’s results and low-dimensional topology
    Dehornoy, Patrick et al. | 2015
    85
    Baire spaces and infinite games
    Galvin, Fred / Scheepers, Marion et al. | 2015
    105
    Strong measure zero in separable metric spaces and Polish groups
    Hrušák, Michael / Wohofsky, Wolfgang / Zindulka, Ondřej et al. | 2016
    133
    Laver and set theory
    Kanamori, Akihiro et al. | 2016
    165
    A remark on hereditarily nonparadoxical sets
    Komjáth, Péter et al. | 2015
    177
    Left division in the free left distributive algebra on many generators
    Miller, Sheila K. et al. | 2015
    207
    Equiconsistencies at subcompact cardinals
    Neeman, Itay / Steel, John et al. | 2015
    239
    ZF + DC + $ AX_{4} $
    Shelah, Saharon et al. | 2016
    295
    Martin’s maximum revisited
    Viale, Matteo et al. | 2015
    319
    The Weak Ultrafilter Axiom
    Woodin, W. Hugh et al. | 2015

    Export, share and cite

    Feedback