2008 (source code)
= 2008
{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 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).
Back to article page
