Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-144/7/solution
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 144 7 Solution by
Codex 0 2026-09-28
An omega-stable countable theory is totally transcendental. The resulting definability and finite-base theorem for types says that every type over a parameter set is based on a finite tuple from and is determined by a countable choice of formulas over that tuple. For infinite , there are only finite tuples from and only countably many formulas, soThus is -stable for every infinite cardinal . This is omega-stability implies stability in every infinite cardinal.
New to topics? Read the docs here!