%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/PageMode /UseOutlines
/Outlines 3 0 R
/PageLabels 4 0 R
/Pages 5 0 R
/Lang ()
/OpenAction [6 0 R /FitH 800]
/Type /Catalog
/Names 7 0 R
>>
endobj
8 0 obj
<<
/Subject ()
/ModDate (D:20200509141948+00'00')
/Author ()
/Title ()
/Keywords ()
/Producer (Tel Aviv University Libraries)
/Creator (LaTeX with hyperref package)
/CreationDate (D:20200505201130+05'30')
>>
endobj
2 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 2239
>>
stream
Acrobat Distiller 7.0 (Windows)
LaTeX with hyperref package
2020-05-05T20:11:30+05:01
2020-05-05T20:11:52+05:01
2020-05-09T14:19:48+00:00
application/pdf
Downloaded from https://www.cambridge.org/core. Tel Aviv University Libraries, on 09 May 2020 at 14:19:48, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms.
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S001708952000018X
Tel Aviv University Libraries
uuid:8a51adb8-4a9f-49a9-9d20-6083e87f61b0
uuid:0cd62d26-e5e9-4d20-9ad6-c97a84d24bf8
endstream
endobj
3 0 obj
<<
/Count 5
/First 9 0 R
/Last 9 0 R
>>
endobj
4 0 obj
<<
/Nums [0 10 0 R]
>>
endobj
5 0 obj
<<
/Count 6
/Type /Pages
/Kids [6 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Annots [16 0 R 17 0 R 18 0 R 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 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R]
/Resources 35 0 R
/Parent 5 0 R
/Contents [36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R]
/Type /Page
>>
endobj
7 0 obj
<<
/Dests 46 0 R
/EmbeddedFiles 47 0 R
>>
endobj
9 0 obj
<<
/First 48 0 R
/Dest (HLtitle.0)
/Title (Primitive Recursive Decidability for the Ring of Integers of the Compositum of all Symmetric Extensions of Q)
/Parent 3 0 R
/Last 49 0 R
/Count 4
>>
endobj
10 0 obj
<<
/S /D
>>
endobj
11 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Annots [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R
60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R]
/Resources 69 0 R
/Parent 5 0 R
/Contents [70 0 R 71 0 R 72 0 R]
/Type /Page
>>
endobj
12 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Annots [73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R]
/Resources 81 0 R
/Parent 5 0 R
/Contents [82 0 R 83 0 R 84 0 R]
/Type /Page
>>
endobj
13 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Annots [85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R
95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R]
/Resources 104 0 R
/Parent 5 0 R
/Contents [105 0 R 106 0 R 107 0 R]
/Type /Page
>>
endobj
14 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Annots [108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R 116 0 R 117 0 R
118 0 R]
/Resources 119 0 R
/Parent 5 0 R
/Contents [120 0 R 121 0 R 122 0 R]
/Type /Page
>>
endobj
15 0 obj
<<
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Resources 123 0 R
/Parent 5 0 R
/Contents [124 0 R 125 0 R 126 0 R]
/Type /Page
/Annots [127 0 R 128 0 R 129 0 R]
>>
endobj
16 0 obj
<<
/Rect [77.769 630.801 165.495 637.734]
/Subtype /Link
/A <<
/S /URI
/URI (https://doi.org/10.1017/S001708952000018X)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
17 0 obj
<<
/Rect [222.156 515.808 297.363 525.054]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:jarden@tauex.tau.ac.il)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
18 0 obj
<<
/Rect [230.4 469.782 289.11 479.028]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:razona@elta.co.il)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
19 0 obj
<<
/Rect [277.281 245.421 291.72 254.325]
/Dest (theorem.0.4.3)
/Subtype /Link
/Border [0 0 0]
/C [1 0 0]
/H /I
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [251.55 221.508 265.989 230.412]
/Dest (thm.0.1.3)
/Subtype /Link
/Border [0 0 0]
/C [1 0 0]
/H /I
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [220.995 197.595 235.434 206.499]
/Dest (thm.0.1.3)
/Subtype /Link
/Border [0 0 0]
/C [1 0 0]
/H /I
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [409.815 161.73 424.254 170.634]
/Dest (thm.0.2.1)
/Subtype /Link
/Border [0 0 0]
/C [1 0 0]
/H /I
/Type /Annot
>>
endobj
23 0 obj
<<
/Rect [66.933 136.287 81.372 145.191]
/Dest (thm.0.2.4)
/Subtype /Link
/Border [0 0 0]
/C [1 0 0]
/H /I
/Type /Annot
>>
endobj
24 0 obj
<<
/Rect [228.825 124.47 234.798 135.429]
/Dest (cite.GJR17a)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
25 0 obj
<<
/Rect [246.996 124.47 252.969 135.429]
/Dest (cite.GJR17b)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
26 0 obj
<<
/Rect [283.617 124.47 289.59 135.429]
/Dest (cite.JaR18)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
27 0 obj
<<
/Rect [391.185 112.518 402.135 123.477]
/Dest (cite.Neu98)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
28 0 obj
<<
/Rect [333.009 100.566 343.959 111.525]
/Dest (cite.MoB89)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
29 0 obj
<<
/Rect [164.421 76.653 170.394 87.612]
/Dest (cite.GJR17b)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
30 0 obj
<<
/Rect [130.23 52.74 136.203 63.699]
/Dest (cite.Dar00)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
31 0 obj
<<
/Rect [282.303 52.74 288.276 63.699]
/Dest (cite.Dri88)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
32 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [24.251999 15.849609 135.774 23.774414]
/Border [0 0 0]
/A 130 0 R
>>
endobj
33 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [138.942 15.849609 264.846 23.774414]
/Border [0 0 0]
/A 131 0 R
>>
endobj
34 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [69.804 23.774414 162.582 31.699219]
/Border [0 0 0]
/A 132 0 R
>>
endobj
35 0 obj
<<
/Font <<
/F1 133 0 R
/F2 134 0 R
/F3 135 0 R
/F4 136 0 R
/F5 137 0 R
/F6 138 0 R
/F7 139 0 R
/F8 140 0 R
/F9 141 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 142 0 R
>>
>>
endobj
36 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
37 0 obj
<<
/Filter /FlateDecode
/Length 1005
>>
stream
HUms6G~?J3Ջeߧ 5'8+Jkfz}V
/1NHx[ds)Oe@e$Ud9i:1: TS%<{-Y0LP)R~_Al.9
zSQhJqnQmX}ǽW͔T5= |;rѧ~Ll$3^BEe]o+`Z.#AUa^q͗ @7E])5
MPX[/w$$@P&
Ws۠
.dEHpg3OVasB
1Q{@k c i*·z