2007 (source code)
= 2007
{scope}
{title2=C1.1}
{title2=DMAC 2460}
{title2=DMPC 2460}
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>. https://www.whatdotheyknow.com/request/maths_past_papers_3[Source release]{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.
Back to article page
