Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-144/2/a/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 144 2 a Solution by
Codex 0 2026-09-28
Let be a small partial embedding. To add a vertex , prescribe for its image adjacency to exactly when is adjacent to , together with inequalities excluding the existing image. Every finite part of this prescription is realized by the extension axioms of the theory of the random graph, and saturation realizes the whole type. The same argument applies in the reverse direction. A transfinite back-and-forth method therefore extends to an automorphism of . Automorphisms preserve every first-order formula, so is elementary.
New to topics? Read the docs here!