Homepage of David W. Kueker

David W. Kueker
Professor
University of Maryland
Mathematics Department
Office: MTH 2105
Phone: (301)405-5159
dwk@math.umd.edu

Research:

My research is in the area of mathematical logic known as model theory. Recently I have been working on abstract elementary classes. Recent papers include:

Upward Stability Transfer for Tame Abstract Elementary Classes (with John Baldwin and Monica VanDieren), Notre Dame Journal of Formal Logic 47(2006) 291-298.

Abstract Elementary Classes and Infinitary Logics, Annals of Pure and Applied Logic 156(2008) 274-286.

I was an invited speaker at the 2009 European Meeting of the Association for Symbolic Logic:

Logic Colloquium 2009, Sofia, Bulgaria, 31 July-5 August, 2009.

Teaching (Spring 2010):

Office Hours: MW 3:00-3:50 or by appointment

MATH 446 (Axiomatic Set Theory): MWF 2:00 in MTH 1313

MATH 713 (Mathematical Logic II: Incompleteness, Undecidability, Computability): MWF 11:00 in MTH 1308

Teaching (Fall 2009):

Office Hours: MW 2:00 and by appointment

MATH 445 (Elementary Mathematical Logic): MWF 1:00 in MTH 0304

MATH 712 (Mathematical Logic I: Formal Languages and their Models): MWF 11:00 in MTH 1313

Some useful links:

The Association for Symbolic Logic: International professional society of logicians, with links to publications and meeting information.