🚀 go-pugleaf

The Math dept is offering the following course that
may be of interest to Grad Students in this dept.

It may be especially interesting to students
interested in
1) LOGIC PROGRAMMING,
2) THEORY,
3) Those who are math-inclined

Note that this course DOES count for the theory requirement
in the Computer Science Department requirement.

MATH 712--- Mathematical Logic I

Taught by David Kueker

MWF 10:00-11:00

Math 712 is a self-contained graduate level introduction
to the main areas of modern Mathematical logic, exclusive
of Set theory.  The sequence covers Elementary Logic,
Fundatmentals of Model Theory, Godel's incompleteness theorem,
other undecidability results (including Hilberts 10th problem).
Also some recursion theory.

A. Elementary Logic
	1. First Order Predicate Languages
	2. Formal Deductions
	3. Theories and their models.
	4. Completeness, compactness, and Lowenheim-Skolem thoerems

B. Model Theory
	1. Realizing and Omitting types
	2. Elementary extensions and chains
	3. Prime and Saturated models.
	4. Categoricity
	5. Countable models of complete theories


PREREQUISITE: Graduate standing or permission of the instructor.

No prior knowledge of logic will be assumed.

TEXT: A set of Notes will be provided
(Editorial comment--- these notes are quite good)