Ohio State nav bar

Advanced Mathematical Logic II: Model Theory

MATH 6002: Advanced Mathematical Logic II: Model Theory

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

Semester(s) Offered:

Spring