Elementary equivalence against isomorphism, elementary substructures and the Tarski-Vaught test, Ehrenfeucht-Fraisse games and the limits of first-order expression, quantifier elimination in dense orders, Presburger arithmetic, algebraically closed and real closed fields, o-minimality, type spaces, omitting types, saturation, Ryll-Nardzewski, Vaught's two-model theorem, Fraisse limits, the Rado graph and the zero-one law, strongly minimal sets and indiscernibles.
Free to start · adaptive placement finds your level · reviews timed to your own forgetting.
Every idea is taught with motivation and a worked example before the drills, and an FSRS spaced-repetition engine schedules each review for the day its model predicts you would forget it. A short placement check finds what you already know, so you start Model Theory exactly where it's useful.