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 (now at Dartmouth College)
    Research: Computability Theory
    @math.dartmouth.edu">mingzhong.caimath.dartmouth.edu
     

Graduate Students

  • Will Cocke
    @math.wisc.edu">cockemath.wisc.edu
     
  • 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 (advisor: Kunen)
    @math.wisc.edu">ongaymath.wisc.edu
     
  • Paul Tveite (advisor: J. Miller)
    @math.wisc.edu">tveitemath.wisc.edu
     

Southern Wisconsin Logic Seminar

We meet every Tuesday afternoon at 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.

Graduate Student Conference in Logic

This conference traditionally meets in late April, is organized by graduate students, and rotates typically between the University of Wisconsin-Madison, the University of Illinois at Urbana-Champaign, the University of Notre Dame, and universities in Chicago.

Turbo Ho (UW-Madison) has written up some helpful instructions for future organizers.

UW logic theses since 1990 (many on line)

Related Links


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