4 papers
math.LO2016
Structural Properties of Part II
Timothy Carlson
This is the second of two papers establishing structural properties of .
math.LO2016
Structural Properties of Part I
Timothy Carlson
This is the first of two papers establishing structural properties of .
math.LO2016
Analysis of a Double Kruskal Theorem
Timothy Carlson
The strength of an extension of Kruskal's Theorem to certain pairs of cohabitation trees is calibrated.
math.LO2011
Categoricity for Patterns of Order 2
Timothy Carlson
A categoricity theorem is established for patterns of resemblance of order 2 showing that the order in which patterns arise in a wide range of hierarchies is the same.