Instructor: William DeMeo
Email: williamdemeo@gmail.com
Office: Math Building, Room 202 (but office hours are in Kittredge Central Hall Rm N252)
Office Hour: MWF 12--12:50
Office Hour Location: Kittredge Central Hall Rm N252
Lecture Time: MWF 11am--11:50am
Lecture Location: KCEN N252 (Boulder Main Campus)
Dates: 2018-01-16 through 2018-05-03
Registration Restrictions: Graduate students only
Course Number/Credits 35569/3
- Main Course Page (GitHub):
https://github.com/williamdemeo/math6000-spring2018 - Online Discussions (Piazza):
https://piazza.com/colorado/spring2018/math6000/home
Title: Introduction to Model Theory
Author: Philipp Rothmaler
Publisher: Taylor & Francis
Publication Date: 5 September 2000
ISBN-10: 9056993135
ISBN-13: 9789056993139
List Price: $79
From the course catalog. Proves the compactness theorem, showing the essential finiteness of logical implication. Proves many basic properties of theories, showing how the syntactic form of statements influences their behavior with respect to different models. Finally, studies properties of elements that cannot be stated by a single formula (the type of the element) and shows it can be used to characterize certain models.
(A more detailed course description and schedule will appear soon.)
The grades in this course will be based on each student's work on the problem sets. Roughly speaking, an A will be assigned to students whose problem sets eventually reveal a mastery of the central concepts and theorems of model theory; a B will be assigned to students whose work reveals a grasp of the basic concepts and a reasonable competence, short of mastery, in putting this grasp into play to solve problems.
As the material is not well-suited to an in-class, 2.5 hour writing effort, in place of a final exam there will be a final problem set that may be wider in scope than previous problem sets.
- Notes on Model Theory by Donald Monk
The following list was copied from George McNulty's Model Theory Page
- Model Theory as Peacock's Revenge by Wilrid Hodges
- Notes for a course in model theory at U of Illinois by C. Ward Henson
- Notes for a course in model theory at Penn State by Stephen Simpson
- Notes for a course in model theory at U of Toronto by William Weiss and Cherie D'Mello
- Notes for a course in model theory at U of Illinois by Anand Pillay
- Notes for the PhD exam in model theory at Berkeley by Justin Bledin
- Model theory notes by John Bell