An infinitary version of the Graham-Leeb-Rothschild theorem. - Timothy J. Carlson (J. Comb. Theory A, 1987)

Some unifying principles in Ramsey theory. - Timothy J. Carlson (Discret. Math., 1988)

Ordinal arithmetic and S1 Sigma_{1}-elementarity. - Timothy J. Carlson (Arch. Math. Log., 1999)

Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis. - Timothy J. Carlson (Ann. Pure Appl. Log., 2000)

Elementary patterns of resemblance. - Timothy J. Carlson (Ann. Pure Appl. Log., 2001)

Ranked partial structures. - Timothy J. Carlson (J. Symb. Log., 2003)

Patterns of resemblance of order 2. - Timothy J. Carlson (Ann. Pure Appl. Log., 2009)

On the conservativity of the axiom of choice over set theory. - Timothy J. Carlson (Arch. Math. Log., 2011)

Tracking chains of Σ2-elementarity. - Timothy J. Carlson; Gunnar Wilken (Ann. Pure Appl. Log., 2012)

Normal forms for elementary patterns. - Timothy J. Carlson; Gunnar Wilken (J. Symb. Log., 2012)

Generalizing Kruskal's theorem to pairs of cohabitating trees. - Timothy J. Carlson (Arch. Math. Log., 2016)