Generalizing Kruskal’s theorem to pairs of cohabitating trees

Archive for Mathematical Logic 55 (1-2):37-48 (2016)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0457-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory.Jean H. Gallier - 1991 - Annals of Pure and Applied Logic 53 (3):199-260.
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability. [REVIEW]Damir D. Dzhafarov, Jeffry L. Hirst & Tamara J. Lakins - 2010 - Archive for Mathematical Logic 49 (3):399-415.
The Strength of the Rainbow Ramsey Theorem.Barbara F. Csima & Joseph R. Mileti - 2009 - Journal of Symbolic Logic 74 (4):1310 - 1324.
The independence property in generalized dense pairs of structures.Alexander Berenstein, Alf Dolich & Alf Onshuus - 2011 - Journal of Symbolic Logic 76 (2):391 - 404.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
Generalizations of the Kruskal-Friedman theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
Reverse mathematics and Ramsey's property for trees.Jared Corduan, Marcia J. Groszek & Joseph R. Mileti - 2010 - Journal of Symbolic Logic 75 (3):945-954.
Reflections on Concrete Incompleteness.G. Longo - 2011 - Philosophia Mathematica 19 (3):255-280.
The Thin Set Theorem for Pairs Implies DNR.Brian Rice - 2015 - Notre Dame Journal of Formal Logic 56 (4):595-601.
Analogies between Kruskal space and de Sitter space.Wolfgang Rindler - 1985 - Foundations of Physics 15 (5):545-551.
An intuitionistic proof of Kruskal’s theorem.Wim Veldman - 2004 - Archive for Mathematical Logic 43 (2):215-264.
On pseudolinearity and generic pairs.Evgueni Vassiliev - 2010 - Mathematical Logic Quarterly 56 (1):35-41.
Local Homogeneity.Bektur Baizhanov & John T. Baldwin - 2004 - Journal of Symbolic Logic 69 (4):1243 - 1260.

Analytics

Added to PP
2015-12-24

Downloads
13 (#1,013,785)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pure Σ2-elementarity beyond the core.Gunnar Wilken - 2021 - Annals of Pure and Applied Logic 172 (9):103001.
Pure patterns of order 2.Gunnar Wilken - 2018 - Annals of Pure and Applied Logic 169 (1):54-82.

Add more citations

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.
Ordinal arithmetic and $\Sigma_{1}$ -elementarity.Timothy J. Carlson - 1999 - Archive for Mathematical Logic 38 (7):449-460.
Patterns of resemblance of order 2.Timothy J. Carlson - 2009 - Annals of Pure and Applied Logic 158 (1-2):90-124.

View all 6 references / Add more references