MATHEMATIC 6002

Advanced Mathematical Logic II: Model Theory

Ohio State University Agricultural Technical Institute · UGRD · Fall 2026

1 section

Catalog description

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.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #ohio_agricultural_technical-MATHEMATIC6002Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?