Home » People » Carlson » Carlson, Timothy

Carlson, Timothy

Office:MW 740 (Columbus)
Phone:614-292-4004 (Columbus)
Email:
Website:http://www.math.ohio-state.edu/~carlson
OSU ID:carlson.6
Online Preprints:Link
Research Areas:proof theoretic analysis of subsystems of set theory
inner model theory
infinitary combinatorics
Ramsey theory
logics of computation
distributed systems
set theoretic issues in analysis
Combinatorics
Foundations of Mathematics
Logic

Office Hours
MWF 2:30-3:18

Selected Publications

  1. A dual form of Ramsey's theorem, (with S. Simpson) Advances in Mathematics 53 (1984), pp. 265-290.
  2. Modal logics with several operators and provability interpretations, Israel Journal of Mathematics 54 (1986), 14-24.
  3. Some unifying principles in Ramsey theory, Discrete Mathematics 68 (1988), 117-169.
  4. Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis, Annals of Pure and Applied Logic 105 (2000), pp. 51-82.
  5. Elementary patterns of resemblance, Annals of Pure and Applied Logic 108 (2001), pp. 19-77.