%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author ()
/CreationDate (D:20160418191159+01'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20160419084004+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-2.5-1.40.14 \(TeX Live 2013/Debian\) kpathsea version 6.1.1)
/Producer (pdfTeX-1.40.14)
/Subject ()
/Title ()
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 3825
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
2016-04-18T19:11:59+01:00
LaTeX with hyperref package
2016-04-19T08:40:04+01:00
2016-04-19T08:40:04+01:00
pdfTeX-1.40.14
False
This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) kpathsea version 6.1.1
uuid:158d9a7c-ca1f-4e94-9647-e23c221a2a62
uuid:e4ca09f1-44b4-45fe-bcdf-50472c47dddc
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 19
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 19
/Kids [12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R 18 0 R]
/Limits [(Doc-Start) (thm.A.3)]
>>
endobj
9 0 obj
<<
/Annots [19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R]
/Contents 28 0 R
/CropBox [0 0 595.276 841.89]
/MediaBox [0 0 595.276 841.89]
/Parent 12 0 R
/Resources 29 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 30 0 R
/Next 31 0 R
/Parent 5 0 R
/Title (Introduction)
>>
endobj
11 0 obj
<<
/A 32 0 R
/Count 2
/First 33 0 R
/Last 34 0 R
/Parent 5 0 R
/Prev 35 0 R
/Title (Appendix: Proofs omitted from the main text)
>>
endobj
12 0 obj
<<
/Count 7
/Kids [36 0 R 9 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 6
/Kids [48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
/Limits [(Doc-Start) (cite.arieli96)]
>>
endobj
16 0 obj
<<
/Kids [60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R]
/Limits [(cite.avron96) (page.9)]
>>
endobj
17 0 obj
<<
/Kids [66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R]
/Limits [(section*.1) (thm.0.6.2)]
>>
endobj
18 0 obj
<<
/Kids [72 0 R 73 0 R]
/Limits [(thm.0.6.3) (thm.A.3)]
>>
endobj
19 0 obj
<<
/A <<
/D (footnote.0)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [334.014 586.349 340.988 596.699]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/D (footnote.0)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [341.763 586.349 348.737 596.699]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/D (footnote.0)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [337.457 486.858 344.43 495.271]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (footnote.0)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [327.963 422.525 334.937 432.875]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (footnote.0)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [335.712 422.525 342.686 432.875]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.belnap77)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [239.188 213.557 246.635 222.58]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:jaklt@kam.mff.cuni.cz)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [144.454 149.2 235.364 161.832]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:A.Jung@cs.bham.ac.uk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [144.454 138.56 231.13 151.192]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:pultr@kam.mff.cuni.cz)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [144.454 127.919 235.364 140.552]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/Length 1832
/Filter /FlateDecode
>>
stream
xXIw8W~VͲa <4p nmKT;0'IR"G:GGǧ:
RcŃy T2DX/fsU(">,E^84 s.J%Lg Io M٬`ft+7C;"z"9y|*+&U,0/f}$L%iʹafJ&aE>.JoCEp
Hi,b