Homepage of David W. Kueker
David W. Kueker
University of Maryland
Office: MTH 2110
My research is in the area of mathematical logic known as model theory.
Most recently I have worked on abstract elementary classes.
Some 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.
And here is my first paper:
Definability, Automorphisms, and Infinitary Languages,
in (J. Barwise, ed.) Syntax and Semantics of Infinitary Languages, SLN volume
72 (1968) 152-165.
I was an invited plenary speaker at the 2009 European Meeting of the Association for
Logic Colloquium 2009, Sofia,
Bulgaria, 31 July-5 August, 2009.
Here are the slides for my talk:
Abstract Elementary Classes.
Here are the notes I have written over the years for a Graduate Introduction
to Mathematical Logic.
Mathematical Logic I: Elementary Logic and Model Theory.
Mathematical Logic II: Incompleteness, Undecidability, Computability.
Some useful links:
The Association for Symbolic Logic
International professional society of logicians, with links to publications
and meeting information.