 2009

This University of Oxford Part C paper covers Gödel's Incompleteness Theorems in section A and Model theory in section B, cross-listed for Mathematics, Mathematics and Computer Science, and Mathematics and Philosophy. ^[ref] The archive contains the complete editable five-page transcription. Bounded official-source searches found no advertised answers for this exact paper. A2(c) is answered with a counterexample to its literal semantic hypothesis and a proof of the intended canonical case. The vector-space comparison keeps infinitude of the underlying set distinct from infinite dimension.