Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

Request Permissions   Purchase Content 
 

 

Analysis of a Double Kruskal Theorem


Author: Timothy Carlson
Journal: Trans. Amer. Math. Soc. 369 (2017), 2897-2916
MSC (2010): Primary 03F40; Secondary 05C05
DOI: https://doi.org/10.1090/tran/6972
Published electronically: December 7, 2016
MathSciNet review: 3592532
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The strength of an extension of Kruskal's Theorem to certain pairs of cohabitating trees is calibrated showing that it is independent of the theory $ \Pi ^1_1-{\bf CA}_0$ or, equivalently, $ {\bf KP}\ell _0$.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 03F40, 05C05

Retrieve articles in all journals with MSC (2010): 03F40, 05C05


Additional Information

Timothy Carlson
Affiliation: Department of Mathematics, The Ohio State University, Columbus, Ohio 43210
Email: carlson@math.ohio-state.edu

DOI: https://doi.org/10.1090/tran/6972
Received by editor(s): July 19, 2014
Received by editor(s) in revised form: October 23, 2015
Published electronically: December 7, 2016
Article copyright: © Copyright 2016 American Mathematical Society