Model Theory
A graduate-level model theory course covering compactness, quantifier elimination, categoricity, Baldwin-Lachlan theory, strongly minimal and o-minimal theories, saturated models, and Morley's theorem.
Summary
Past student reviews · Uri Andrews
One student rated the course difficulty at 3, though no specific details about workload or assessment demands were provided.
Grade history
↗All recorded terms · compare terms & instructors
Prerequisites
Course mapGraduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program
- Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program
This is a best-effort interpretation; check the catalog requirements above.
Prerequisite text tree
- Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program
Professors
Spring 2027No instructors recorded for this selection.
Historical instructors & teaching patterns
URI ANDREWS is recorded teaching in Spring 2011, Spring 2015, Spring 2016, Spring 2017, Spring 2022. Recorded history may be incomplete and does not establish a future schedule.
Recorded history may be incomplete and does not establish a future schedule.
Calendar & sections
Spring 2027Schedule loads here as you scroll.
| Section | Mode | Enrolled / capacity | Waitlist |
|---|
Times are Central. Select a meeting for details; export includes recorded dates for the selected sections.
Meeting source records
No records available.
Student experience
the class
Past student reviews · Uri Andrews
Students found the lectures on Model Theory entertaining and energetic, noting the instructor's enthusiasm for teaching logic.
Recent recorded grades — Spring 2018: 3.90 GPA, 100.0% A/AB (n=5 letter grades); Spring 2020: 4.00 GPA, 100.0% A/AB (n=4 letter grades); Spring 2022: 4.00 GPA, 100.0% A/AB (n=6 letter grades).
difficulty & workload
Past student reviews · Uri Andrews
One student rated the course difficulty at 3, though no specific details about workload or assessment demands were provided.
Past student reviews · Uri Andrews
The instructor was described as having many corny jokes, which contributed to an engaging classroom atmosphere.
Topics
- Compactness and its consequences
- Quantifier elimination
- Omitting types theorem
- Categoricity
- Baldwin-Lachlan theory
- Strongly minimal and o-minimal theories
- Saturated models
- Morley's theorem
Skills
- Understanding compactness, quantifier elimination, categoricity, strongly minimal and o-minimal theories, saturated models, and Morley's theorem.
Grades
Latest available · Spring 2022— not enough history to project Spring 2027.
Grade distribution · % of letter grades
Grades over time
Through Spring 2022
More grade details Grade mix, volume & source data
Not enough comparable courses for Spring 2027 in UW–Madison.
Sources & history
Catalog & offerings
Descriptions, prerequisites, and recorded course offerings.
Catalog observation history
Observations at scan time; dates do not imply when a catalog change took effect.
Selected offering source records
No offering records for the selected term.
Raw records
[]
Student reviews
Original comments behind the course and instructor summaries.
Read original reviews
Grade history
Recorded grade distributions by term, section, and instructor.
Explore recorded gradesRecorded 2026-10-14
Model outputs & technical records
LLM outputs across runs
Full model traces
Recorded model configuration, reasoning, and tool conversations.
Model & dataset provenance
{
"model": "Qwen/Qwen3.8-27B",
"model_revision": "1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0",
"task_version": "17",
"output_id": "e25bb2bb8b423e85a7325c307cc118ac8ca37511ddbfba6212d07b422929b10a",
"requirements_status": "needs_review",
"dataset_revision": "fc1811fa52e581ea57a35c0cf3343f8740a8ffbf",
"observed_at": "2026-10-14 17:50:09.728220+00:00"
}