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 am 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 (Fall 2009):
Office Hours: MW 2:00 and by appointment
-
Math 445
(Elementary Mathematical Logic)
-
MWF 1:00 in MTH 1313
-
MATH 712
(Mathematical Logic I: Formal Languages and their Models)
-
MWF 11:00 in MTH 1313
Teaching (Spring 2009):
Office Hours: MW 2:00 and by appointment
-
MATH 141
(Calculus II)
-
MWF 11:00 in ARM 0135
-
MATH 406
(Introduction to Number Theory)
-
MWF 1:00 in MTH 0306
-
Recommended practice problems for MATH 406
-
Homework 1
-
Homework 2
-
Homework 3
-
Homework 4
-
Homework 5
-
Homework 6
-
Homework 7
-
Homework 8
-
Homework 9
-
Homework 10
-
Homework 11
Some useful links:
-
The Association for Symbolic Logic
-
International professional society of logicians, with links to publications
and meeting information.