Logic

Faculty

  • Uri Andrews
    Research: Model Theory, Computability Theory,
    Computable Model Theory
    @math.wisc.edu">andrewsmath.wisc.edu
     
  • Steffen Lempp
    Research: Computability Theory and Its Applications
    to Model Theory, Algebra, Proof Theory, and Computer Science
    @math.wisc.edu">lemppmath.wisc.edu
     
  • Joseph S. Miller
    Research: Computability Theory:
    Algorithmic Randomness, Reverse Mathematics,
    and Effective mathematics
    (primarily computable analysis and topology)
    @math.wisc.edu">jmillermath.wisc.edu
     

Emeritus Faculty

  • H. Jerome Keisler
    Research: Model Theory and Nonstandard Analysis
    @math.wisc.edu">keislermath.wisc.edu
     
  • Kenneth Kunen
    Research: Set Theory, General Topology, Algebra
    @math.wisc.edu">kunenmath.wisc.edu
     
  • Arnold W. Miller
    Research: Set Theory of the Real Line
    @math.wisc.edu">millermath.wisc.edu
     

Recent Postdoctoral Fellows

  • Mingzhong Cai (Dartmouth College)
    Research: Computability Theory
    @math.dartmouth.edu">mingzhong.caimath.dartmouth.edu
     

Graduate Students

  • Meng-Che ("Turbo") Ho (advisors: Andrews and Dymarz)
    @math.wisc.edu">homath.wisc.edu
     
  • Reese Johnston (advisor: Lempp)
    @math.wisc.edu">rwjohnstonmath.wisc.edu
     
  • Tamvana Makuluni (advisor: Andrews)
    @math.wisc.edu">makulunimath.wisc.edu
     
  • Ethan McCarthy
    @math.wisc.edu">mccarthymath.wisc.edu
     
  • Iván Ongay Valverde
    @math.wisc.edu">ongaymath.wisc.edu
     
  • Paul Tveite (advisor: J. Miller)
    @math.wisc.edu">tveitemath.wisc.edu
     

Southern Wisconsin Logic Seminar

We meet roughly every Tuesday afternoon at 3:30 p.m. or 4:00 p.m. for the Southern Wisconsin Logic Colloquium, the logic seminar for UW-Madison and Marquette University.

Logic Reading Seminar

The weekly logic reading seminar is held on Wednesdays at 3:30 without fixed topic, but with each student choosing a topic for his/her talk for 1-2 hours.

Midwest Computability Seminar and Midwest Model Theory Day

The University of Wisconsin-Madison is, together with the University of Chicago and the University of Notre Dame, part of the Midwest Computability Seminar, which meets once or twice a semester, usually on a Tuesday afternoon, on the University of Chicago campus.

The University of Wisconsin-Madison is also, together with the two campuses of the University of Illinois and the University of Notre Dame, part of the Midwest Model Theory Day, which meets once a semester, usually on a Tuesday afternoon, on the University of Illinois at Chicago campus.

UW logic theses since 1990 (many on line)

Related Links


Maintained by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)