%PDF-1.6
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageLabels <<
/Nums [0 6 0 R 1 7 0 R]
>>
/PageMode /UseOutlines
/Pages 8 0 R
/Type /Catalog
>>
endobj
9 0 obj
<<
/Author ()
/CreationDate (D:20220506154555-07'00')
/Creator (LaTeX with hyperref)
/Keywords ()
/ModDate (D:20220611103643+00'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.21 \(TeX Live 2020\) kpathsea version 6.3.2)
/Producer (pdfTeX-1.40.21)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 922
/Subtype /XML
/Type /Metadata
>>
stream
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/psa.2022.72
https://doi.org/10.1017/psa.2022.72 Published online by Cambridge University Press
2022-06-11T10:36:43+00:00
endstream
endobj
3 0 obj
<<
/Dests 10 0 R
>>
endobj
4 0 obj
<<
/D [11 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 7
/First 12 0 R
/Last 13 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/S /D
>>
endobj
7 0 obj
<<
/S /D
>>
endobj
8 0 obj
<<
/Count 25
/Kids [14 0 R 15 0 R 16 0 R 17 0 R 18 0 R]
/Type /Pages
>>
endobj
10 0 obj
<<
/Kids [19 0 R 20 0 R 21 0 R 22 0 R]
/Limits [(Doc-Start) (theorem.5.3)]
>>
endobj
11 0 obj
<<
/Contents [23 0 R 24 0 R 25 0 R]
/CropBox [0 0 595.276 841.89]
/MediaBox [0 0 595.276 841.89]
/Parent 14 0 R
/Resources <<
/Font <<
/T1_0 26 0 R
/T1_1 27 0 R
/T1_2 28 0 R
/T1_3 29 0 R
/T1_4 30 0 R
/T1_5 31 0 R
/TT0 32 0 R
/TT1 33 0 R
/TT2 34 0 R
/TT3 35 0 R
/F11 36 0 R
>>
/ProcSet [/PDF /Text]
>>
/Rotate 0
/Type /Page
/Annots [37 0 R]
>>
endobj
12 0 obj
<<
/A 38 0 R
/Next 39 0 R
/Parent 5 0 R
/Title (Introduction)
>>
endobj
13 0 obj
<<
/A 40 0 R
/Parent 5 0 R
/Prev 41 0 R
/Title (Conclusion)
>>
endobj
14 0 obj
<<
/Count 6
/Kids [11 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Count 6
/Kids [47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
16 0 obj
<<
/Count 6
/Kids [53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
17 0 obj
<<
/Count 6
/Kids [59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
18 0 obj
<<
/Count 1
/Kids [65 0 R]
/Parent 8 0 R
/Type /Pages
>>
endobj
19 0 obj
<<
/Kids [66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R]
/Limits [(Doc-Start) (cite.0@CarrForthcoming)]
>>
endobj
20 0 obj
<<
/Kids [72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R]
/Limits [(cite.0@Chaitin1995) (cite.0@Veness2011)]
>>
endobj
21 0 obj
<<
/Kids [78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R]
/Limits [(cite.0@Wood2013) (page.19)]
>>
endobj
22 0 obj
<<
/Kids [84 0 R 85 0 R 86 0 R 87 0 R]
/Limits [(page.2) (theorem.5.3)]
>>
endobj
23 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
24 0 obj
<<
/Filter /FlateDecode
/Length 2022
>>
stream
HlW˖Wp hoftL&V6}|
9M
noUD Tn=;݇wsQIE`3:DafAVa\fw?~NXݷ=LnH'B2][OW?m>|
|aV`
Q:+DU\(ۃC٩9aXE]EXVU0R9Ral'K*ojy'vx}a1qn :·vfceB߾a%%Q
]EoCruOyF&*$f8
V40r *B