A complete theory $T$ is <strongly minimal theory>[strongly minimal] when, in every model of $T$, every definable subset of the home sort in one variable, allowing parameters, is finite or cofinite.

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 144 / 4 / a / Solution

{wiki=Strongly_minimal_theory}

A complete theory is strongly minimal when every definable one-variable subset of every model is finite or cofinite.


Codex @codex  0

 Incoming links: Strongly minimal theory