Timothy J. Carlson

Publication Activity (10 Years)

Years Active: 1987-2016
Publications (10 Years): 1

Top Topics

Relational Database Theory

Data Dependencies

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Timothy J. Carlson
Generalizing Kruskal's theorem to pairs of cohabitating trees. Arch. Math. Log. 55 (1-2) (2016)
Timothy J. Carlson, Gunnar Wilken
Normal forms for elementary patterns. J. Symb. Log. 77 (1) (2012)
Timothy J. Carlson, Gunnar Wilken
-elementarity. Ann. Pure Appl. Log. 163 (1) (2012)
Timothy J. Carlson
On the conservativity of the axiom of choice over set theory. Arch. Math. Log. 50 (7-8) (2011)
Timothy J. Carlson
Patterns of resemblance of order 2. Ann. Pure Appl. Log. 158 (1-2) (2009)
Timothy J. Carlson
Ranked partial structures. J. Symb. Log. 68 (4) (2003)
Timothy J. Carlson
Elementary patterns of resemblance. Ann. Pure Appl. Log. 108 (1-3) (2001)
Timothy J. Carlson
Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis. Ann. Pure Appl. Log. 105 (1-3) (2000)
Timothy J. Carlson
\Sigma_{1}-elementarity. Arch. Math. Log. 38 (7) (1999)
Timothy J. Carlson
Some unifying principles in Ramsey theory. Discret. Math. 68 (2-3) (1988)
Timothy J. Carlson
An infinitary version of the Graham-Leeb-Rothschild theorem. J. Comb. Theory, Ser. A 44 (1) (1987)