Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

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