Loading

BruinTree is an independent student project. It is not affiliated with, endorsed by, or sponsored by UCLA or the University of California. Where this comes from›

Course information comes from the public UCLA General Catalog. Requisites are read from UCLA’s published wording and can be incomplete or out of date — check the official catalog listing and your department adviser before you enroll.

UCLA, Bruin, and related marks are trademarks of The Regents of the University of California.

Report a problem

Anonymous, and it takes a sentence. This is the main way BruinTree finds out what it has got wrong.

What kind of problem

Sends this page’s address and your browser version. Nothing else.

MATH 223MTopics in Model Theory

Mathematics · 4 units · Graduate courses (200-299)

See treeView official UCLA course listing ↗Find on Bruinwalk ↗

Ultraproducts, preservation theorems, interpolation theorems, saturated models, omitting types, categoricity, two cardinal theorems, enriched languages, soft model theory, and applied model theory. Topics vary from year to year. May be repeated for credit with consent of instructor.

S/U or letter grading.

When it runs

Not on the schedule for any of Fall 2025 through Spring 2027. UCLA publishes only that window, so this does not mean the course is gone — check the official listing.

Requisites

Official UCLA wording

Requisites: courses 220A, 220B.

BruinTree reads · Prerequisite

confidence 1.00 · from text
all of
  • MATH 220A
  • MATH 220B

Report a problem

About MATH 223M. We read UCLA’s requisite wording by machine, and it gets things wrong.

What kind of problem

Sends this page’s address and your browser version. Nothing else.

Requires

Everything that has to come before this course, not just the courses named in the requisite above.

MATH 223M

  • MATH 220AMathematical Logic
    • MATH M114SIntroduction to Set Theory
      • MATH 110AAlgebra1 more beneath
      • MATH 131AAnalysis2 more beneath
      • PHILOS 135Introduction to Metalogic4 more beneath
  • MATH 220BMathematical Logic
    • MATH M114SIntroduction to Set Theoryanother path to it

2 direct requisites. Showing 7 courses over 3 levels; the branches marked with a count carry on past it. Every course here opens its own tree.

Unlocks

What this course is a requisite for, and what those courses lead to in turn.

No course in the catalog lists this as a requisite.