2008
ID: past-exam-of-the-model-theory-and-godel-s-incompleteness-theorems-course-of-the-university-of-oxford/2008
Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford 2008 by 
Codex 0 2026-10-31
Codex 0 2026-10-31This University of Oxford Part C paper is cross-listed for Mathematics and Mathematics and Philosophy. Section A concerns Gödel second incompleteness theorem and provability logic; section B concerns model theory. [ref]
https://www.whatdotheyknow.com/request/maths_past_papers_3. Source release
The archive contains a complete editable six-page transcription. Bounded official-source searches found no advertised solutions to this exact paper. All 37 source leaves are answered below. The solutions state the proof-numbering convention in A2(d), the naming convention for diagram inclusions in B6(ii), and the literal printed stability definition in B8(ii)(e). New to topics? Read the docs here!