Home » People » Carlson » Carlson, Tim

Carlson, Tim

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:Combinatorics
Foundations of Mathematics
Logic
Ramsey theory
distributed systems
infinitary combinatorics
inner model theory
logics of computation
proof theoretic analysis of subsystems of set theory
set theoretic issues in analysis
Teaching:View Teaching Schedule

Office Hours
MWF 3:30-4: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.