Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-3/16h/b/solution
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 3 16H b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For each positive integer , the finite ordered interval has a greatest and a least element, and these intervals form a chain of substructures. Their union is , which has neither. An inductive first-order theory must be preserved by such unions, as proved above. The theory with both endpoints cannot be axiomatized inductively, even though it has an ordinary first-order axiomatization with existential–universal endpoint sentences.
New to topics? Read the docs here!