 2007

This 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] The archive contains the complete editable four-page transcription. Bounded official-source searches found no advertised answers to this exact paper. All 31 source leaves are answered below. The enumeration and function-definability conventions are stated explicitly, and the canonical-model construction uses the function-free setting permitted by the source.