Timothy J. Carlson

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2016 J jnl
Generalizing Kruskal's theorem to pairs of cohabitating trees.
Arch. Math. Log.
Timothy J. Carlson
2012 J jnl
Normal forms for elementary patterns.
J. Symb. Log.
Timothy J. Carlson, Gunnar Wilken
2012 J jnl
Tracking chains of Σ
Ann. Pure Appl. Log.
Timothy J. Carlson, Gunnar Wilken
2011 J jnl
On the conservativity of the axiom of choice over set theory.
Arch. Math. Log.
Timothy J. Carlson
2009 J jnl
Patterns of resemblance of order 2.
Ann. Pure Appl. Log.
Timothy J. Carlson
2003 J jnl
Ranked partial structures.
J. Symb. Log.
Timothy J. Carlson
2001 J jnl
Elementary patterns of resemblance.
Ann. Pure Appl. Log.
Timothy J. Carlson
2000 J jnl
Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis.
Ann. Pure Appl. Log.
Timothy J. Carlson
1999 J jnl
Ordinal arithmetic and S
Arch. Math. Log.
Timothy J. Carlson
1988 J jnl
Some unifying principles in Ramsey theory.
Discret. Math.
Timothy J. Carlson
1987 J jnl
An infinitary version of the Graham-Leeb-Rothschild theorem.
J. Comb. Theory A
Timothy J. Carlson