Analysis of a Double Kruskal Theorem
Logic
2016-03-08 v1
Authors:
Timothy Carlson
Abstract
The strength of an extension of Kruskal's Theorem to certain pairs of cohabitation trees is calibrated.
Keywords
Cite
@article{arxiv.1603.01900,
title = {Analysis of a Double Kruskal Theorem},
author = {Timothy Carlson},
journal= {arXiv preprint arXiv:1603.01900},
year = {2016}
}
Related papers
View all related →
High Energy Physics - Theory · Physics
Trees, forests and jungles: a botanical garden for cluster expansions
A. Abdesselam, V. Rivasseau
2009-10-28
Combinatorics · Mathematics
Approximations to the Kruskal-Katona theorem
Andrew Frohmader
2010-10-13
Logic · Mathematics
The uniform Kruskal theorem: between finite combinatorics and strong set existence
Anton Freund, Patrick Uftring
2022-08-02
Combinatorics · Mathematics
Obtaining trees of tangles from tangle-tree duality
Christian Elbracht, Jay Lilian Kneip, Maximilian Teegen
2025-05-20
Combinatorics · Mathematics
Tree Calculus for Bivariable Difference Equations
Dominique Foata, Guo-Niu Han
2013-04-10
Group Theory · Mathematics
A descriptive construction of trees and Stallings' theorem
Anush Tserunyan
2018-06-22
Combinatorics · Mathematics
A Dual Ramsey theorem for trees
Stevo Todorcevic, Konstantinos Tyros
2022-08-01
Functional Analysis · Mathematics
Coupled solutions for a bivariate weakly nonexpansive operator by iterations
V. Berinde, A. R. Khan, M. Pacurar
2014-02-21
Algebraic Geometry · Mathematics
Triangularization properties of power linear maps and the Structural Conjecture
Michiel de Bondt, Dan Yan
2016-03-24
Rings and Algebras · Mathematics
Adjoinable Homology
Anastasis Kratsios
2014-02-19
Probability · Mathematics
Coupled bialgebras and Lions trees
William Salkeld
2025-04-04
Rings and Algebras · Mathematics
Curved Koszul duality and cyclic (co)homology
Yining Zhang
2021-10-26
Discrete Mathematics · Computer Science
The Rosenberg-Strong Pairing Function
Matthew P. Szudzik
2019-01-30
Logic · Mathematics
The tree property at double successors of singular cardinals of uncountable cofinality
Mohammad Golshani, Rahman Mohammadpour
2017-08-08
Mathematical Physics · Physics
An improved tree-graph bound
Daniel Ueltschi
2019-06-10
K-Theory and Homology · Mathematics
Curved Koszul duality theory
Joseph Hirsh, Joan Millès
2011-11-10
History and Philosophy of Physics · Physics
Theoretical Equivalence and Duality
Sebastian De Haro
2019-06-27
Combinatorics · Mathematics
Alternative proof of upper bound of spanning trees in a graph
K. V. Chelpanov
2022-12-01
High Energy Physics - Phenomenology · Physics
Towards a Loop-Tree Duality at Two Loops and Beyond
Isabella Bierenbaum
2010-12-13
K-Theory and Homology · Mathematics
The cohomology of coalgebras in species
Pedro Tamaroff
2022-01-26
Probability · Mathematics
Parametrized Kantorovich-Rubinstein theorem and application to the coupling of random variables
Jerome Dedecker, Clementine Prieur, Paul Raynaud De Fitte
2007-05-23
Logic · Mathematics
Partition theorems for expanded trees
Saharon Shelah
2026-01-06
General Relativity and Quantum Cosmology · Physics
An extension theorem for conformal gauge singularities
Christian Lübbe, Paul Tod
2010-01-07
Functional Analysis · Mathematics
On complex symmetric weighted shifts. II
Piotr Budzyński
2025-10-23
Chemical Physics · Physics
Projected Coupled Cluster Theory: Optimization of cluster amplitudes in the presence of symmetry projection
Yiheng Qiu, Thomas M. Henderson, Jinmo Zhao, Gustavo E. Scuseria
2020-05-14