# Selected Papers

## Timothy J. Carlson

Papers for Patterns of Resemblance program:

"Ordinal arithmetic and $\Sigma _1$-elementarity," Archive for Mathematical Logic 38 (1999), pp. 449-460.

"Elementary patterns of resemblance," Annals of Pure and Applied Logic 108 (2001), pp. 19-77.

"Patterns of resemblance of order 2," to appear in Annals of Pure and Applied Logic.

"Ranked beta-calculus," draft.

"Generalizing Kruskal's Theorem to pairs of cohabitating trees," draft.

"A basic unit of computation in distributed systems," (with M. Ahuja and A.D. Kshemkalyani) ICDCS 1990, pp. 12-19.

"Timestamping events for inferring "Affects" relation and potential causality," (with M. Ahuja, A. Gahlot and D. Shands), COMPSAC 91 pp. 606-611.

"Passive-space and time view: Vector clocks for achieving higher performance, program correctness, and distributed computing," (with M. Ahuja and A. Gahlot) IEEE Transactions on Software Engineering 19(9) (1993), pp. 845-855.

"Global flush communication primitive for inter-process communication," (with M. Ahuja and A. Gahlot) PODC 94, pp. 111-120.

"Knowledge, machines and the consistency of Reinhardt's Strong Mechanistic Thesis," Annals of Pure and Applied Logic 105 (2000), 51-82.

The consistency of Reinhardt's Strong Mechanistic Thesis with Epistemic Arithmetic is established.

"Ranked partial structures," Journal of Symbolic Logic 68 (2003), pp. 1109-1144.

"An infinitary extension of the Graham-Rothschild parameter sets theorem," (with N. Hindman and D. Strauss), accepted for publication in the Transactions of the American Mathematical Society.

"The Graham-Rothschild theorem and the algebra $\beta W$," (with N. Hindman and D. Strauss), accepted for publication by Topology Proceedings.

"Ramsey theoretic consequences of some new results about algebra in the Stone-Cech compactification," (with N. Hindman and D. Strauss), accepted for publication in Integers.

"Almost disjoint large subsets of semigroups," (with N. Hindman, D. Strauss and J. McLeod), submitted.

"Quasiconstructive logic," draft.

"Discrete n-tuples in Hausdorff Spaces," (with N. Hindman and D. Strauss), submitted.