MATH 6002: Advanced Mathematical Logic II: Model Theory

October 20, 2013
Construction of models, compactness, Lowenheim-Skolem theorems, unions of elementary chains, omitting types; categoricity; saturation; model completeness, quantifier elimination; ultraproducts; definability. Prereq: 5051 (649) or permission of department. Not open to students with credit for 747.
Credit Hours: 
3.0

Textbook

Title: 
Model Theory
Edition: 
3rd
Author: 
Change & Keisler
Publisher: 
Dover
ISBN: 
9780486488219


To find course availability and times, please visit the Ohio State Course Catalog and Master Schedule.


[pdf] - Some links on this page are to Adobe .pdf files requiring the use of Adobe Reader. If you need these files in a more accessible format, please webmaster@math.osu.edu.