%PDF-1.3
%
1 0 obj
<<
/Pages 2 0 R
/Type /Catalog
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/Producer (PDFlib PLOP 2.1.0 \(sunOS\)/PDFlib PLOP 2.1.0p1 \(SunOS\)/Acrobat Distiller Server 6.0.1 \(Sparc Solaris, Built: 2003-11-03\) \(via http://big.faceless.org/products/pdf?version=work-20090717T1753\))
/ModDate (D:20220413174922+00'00')
/Author (ANNA BUCALO, FURIO HONSELL, MARINO MICULAN, IVAN SCAGNETTO, MARTIN HOFFMAN)
/Title (Consistency of the theory of contexts)
/CreationDate (D:20060808173004+05'30')
/Creator (dvips\(k\) 5.95a Copyright 2005 Radical Eye Software)
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 46
/Kids [5 0 R 6 0 R 7 0 R 8 0 R 9 0 R]
>>
endobj
3 0 obj
<<
/Length 1983
/Type /Metadata
/Subtype /XML
>>
stream
PDFlib PLOP 2.1.0 (sunOS)/PDFlib PLOP 2.1.0p1 (SunOS)/Acrobat Distiller Server 6.0.1 (Sparc Solaris, Built: 2003-11-03) (via http://big.faceless.org/products/pdf?version=work-20090717T1753)
2006-08-08T17:30:04+05:01
dvips(k) 5.95a Copyright 2005 Radical Eye Software
2010-11-09T22:08:40+00:00
2022-04-13T17:49:22+00:00
application/pdf
Consistency of the theory of contexts
ANNA BUCALO, FURIO HONSELL, MARINO MICULAN, IVAN SCAGNETTO, MARTIN HOFFMAN
2010-11-09T22:08:40Z
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796806005892
https://doi.org/10.1017/S0956796806005892 Published online by Cambridge University Press
endstream
endobj
5 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R]
>>
endobj
6 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [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]
>>
endobj
7 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R]
>>
endobj
8 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R]
>>
endobj
9 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R]
>>
endobj
10 0 obj
<<
/Type /Page
/Resources 56 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [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]
/Parent 5 0 R
/Thumb 67 0 R
/Annots [68 0 R]
>>
endobj
11 0 obj
<<
/Type /Page
/Resources 69 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [70 0 R 71 0 R 72 0 R]
/Parent 5 0 R
/Thumb 73 0 R
/Annots [74 0 R]
>>
endobj
12 0 obj
<<
/Type /Page
/Resources 75 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [76 0 R 77 0 R 78 0 R]
/Parent 5 0 R
/Thumb 79 0 R
/Annots [80 0 R]
>>
endobj
13 0 obj
<<
/Type /Page
/Resources 81 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [82 0 R 83 0 R 84 0 R]
/Parent 5 0 R
/Thumb 85 0 R
/Annots [86 0 R]
>>
endobj
14 0 obj
<<
/Type /Page
/Resources 87 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [88 0 R 89 0 R 90 0 R]
/Parent 5 0 R
/Thumb 91 0 R
/Annots [92 0 R]
>>
endobj
15 0 obj
<<
/Type /Page
/Resources 93 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [94 0 R 95 0 R 96 0 R]
/Parent 5 0 R
/Thumb 97 0 R
/Annots [98 0 R]
>>
endobj
16 0 obj
<<
/Type /Page
/Resources 99 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [100 0 R 101 0 R 102 0 R]
/Parent 5 0 R
/Thumb 103 0 R
/Annots [104 0 R]
>>
endobj
17 0 obj
<<
/Type /Page
/Resources 105 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [106 0 R 107 0 R 108 0 R]
/Parent 5 0 R
/Thumb 109 0 R
/Annots [110 0 R]
>>
endobj
18 0 obj
<<
/Type /Page
/Resources 111 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [112 0 R 113 0 R 114 0 R]
/Parent 5 0 R
/Thumb 115 0 R
/Annots [116 0 R]
>>
endobj
19 0 obj
<<
/Type /Page
/Resources 117 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [118 0 R 119 0 R 120 0 R]
/Parent 5 0 R
/Thumb 121 0 R
/Annots [122 0 R]
>>
endobj
20 0 obj
<<
/Type /Page
/Resources 123 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [124 0 R 125 0 R 126 0 R]
/Parent 6 0 R
/Thumb 127 0 R
/Annots [128 0 R]
>>
endobj
21 0 obj
<<
/Type /Page
/Resources 129 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [130 0 R 131 0 R 132 0 R]
/Parent 6 0 R
/Thumb 133 0 R
/Annots [134 0 R]
>>
endobj
22 0 obj
<<
/Type /Page
/Resources 135 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [136 0 R 137 0 R 138 0 R]
/Parent 6 0 R
/Thumb 139 0 R
/Annots [140 0 R]
>>
endobj
23 0 obj
<<
/Type /Page
/Resources 141 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [142 0 R 143 0 R 144 0 R]
/Parent 6 0 R
/Thumb 145 0 R
/Annots [146 0 R]
>>
endobj
24 0 obj
<<
/Type /Page
/Resources 147 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [148 0 R 149 0 R 150 0 R]
/Parent 6 0 R
/Thumb 151 0 R
/Annots [152 0 R]
>>
endobj
25 0 obj
<<
/Type /Page
/Resources 153 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [154 0 R 155 0 R 156 0 R]
/Parent 6 0 R
/Thumb 157 0 R
/Annots [158 0 R]
>>
endobj
26 0 obj
<<
/Type /Page
/Resources 159 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [160 0 R 161 0 R 162 0 R]
/Parent 6 0 R
/Thumb 163 0 R
/Annots [164 0 R]
>>
endobj
27 0 obj
<<
/Type /Page
/Resources 165 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [166 0 R 167 0 R 168 0 R]
/Parent 6 0 R
/Thumb 169 0 R
/Annots [170 0 R]
>>
endobj
28 0 obj
<<
/Type /Page
/Resources 171 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [172 0 R 173 0 R 174 0 R]
/Parent 6 0 R
/Thumb 175 0 R
/Annots [176 0 R]
>>
endobj
29 0 obj
<<
/Type /Page
/Resources 177 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [178 0 R 179 0 R 180 0 R]
/Parent 6 0 R
/Thumb 181 0 R
/Annots [182 0 R]
>>
endobj
30 0 obj
<<
/Type /Page
/Resources 183 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [184 0 R 185 0 R 186 0 R]
/Parent 7 0 R
/Thumb 187 0 R
/Annots [188 0 R]
>>
endobj
31 0 obj
<<
/Type /Page
/Resources 189 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [190 0 R 191 0 R 192 0 R]
/Parent 7 0 R
/Thumb 193 0 R
/Annots [194 0 R]
>>
endobj
32 0 obj
<<
/Type /Page
/Resources 195 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [196 0 R 197 0 R 198 0 R]
/Parent 7 0 R
/Thumb 199 0 R
/Annots [200 0 R]
>>
endobj
33 0 obj
<<
/Type /Page
/Resources 201 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [202 0 R 203 0 R 204 0 R]
/Parent 7 0 R
/Thumb 205 0 R
/Annots [206 0 R]
>>
endobj
34 0 obj
<<
/Type /Page
/Resources 207 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [208 0 R 209 0 R 210 0 R]
/Parent 7 0 R
/Thumb 211 0 R
/Annots [212 0 R]
>>
endobj
35 0 obj
<<
/Type /Page
/Resources 213 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [214 0 R 215 0 R 216 0 R]
/Parent 7 0 R
/Thumb 217 0 R
/Annots [218 0 R]
>>
endobj
36 0 obj
<<
/Type /Page
/Resources 219 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [220 0 R 221 0 R 222 0 R]
/Parent 7 0 R
/Thumb 223 0 R
/Annots [224 0 R]
>>
endobj
37 0 obj
<<
/Type /Page
/Resources 225 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [226 0 R 227 0 R 228 0 R]
/Parent 7 0 R
/Thumb 229 0 R
/Annots [230 0 R]
>>
endobj
38 0 obj
<<
/Type /Page
/Resources 231 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [232 0 R 233 0 R 234 0 R]
/Parent 7 0 R
/Thumb 235 0 R
/Annots [236 0 R]
>>
endobj
39 0 obj
<<
/Type /Page
/Resources 237 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [238 0 R 239 0 R 240 0 R]
/Parent 7 0 R
/Thumb 241 0 R
/Annots [242 0 R]
>>
endobj
40 0 obj
<<
/Type /Page
/Resources 243 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [244 0 R 245 0 R 246 0 R]
/Parent 8 0 R
/Thumb 247 0 R
/Annots [248 0 R]
>>
endobj
41 0 obj
<<
/Type /Page
/Resources 249 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [250 0 R 251 0 R 252 0 R]
/Parent 8 0 R
/Thumb 253 0 R
/Annots [254 0 R]
>>
endobj
42 0 obj
<<
/Type /Page
/Resources 255 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [256 0 R 257 0 R 258 0 R]
/Parent 8 0 R
/Thumb 259 0 R
/Annots [260 0 R]
>>
endobj
43 0 obj
<<
/Type /Page
/Resources 261 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [262 0 R 263 0 R 264 0 R]
/Parent 8 0 R
/Thumb 265 0 R
/Annots [266 0 R]
>>
endobj
44 0 obj
<<
/Type /Page
/Resources 267 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [268 0 R 269 0 R 270 0 R]
/Parent 8 0 R
/Thumb 271 0 R
/Annots [272 0 R]
>>
endobj
45 0 obj
<<
/Type /Page
/Resources 273 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [274 0 R 275 0 R 276 0 R]
/Parent 8 0 R
/Thumb 277 0 R
/Annots [278 0 R]
>>
endobj
46 0 obj
<<
/Type /Page
/Resources 279 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [280 0 R 281 0 R 282 0 R]
/Parent 8 0 R
/Thumb 283 0 R
/Annots [284 0 R]
>>
endobj
47 0 obj
<<
/Type /Page
/Resources 285 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [286 0 R 287 0 R 288 0 R]
/Parent 8 0 R
/Thumb 289 0 R
/Annots [290 0 R]
>>
endobj
48 0 obj
<<
/Type /Page
/Resources 291 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [292 0 R 293 0 R 294 0 R]
/Parent 8 0 R
/Thumb 295 0 R
/Annots [296 0 R]
>>
endobj
49 0 obj
<<
/Type /Page
/Resources 297 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [298 0 R 299 0 R 300 0 R]
/Parent 8 0 R
/Thumb 301 0 R
/Annots [302 0 R]
>>
endobj
50 0 obj
<<
/Type /Page
/Resources 303 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [304 0 R 305 0 R 306 0 R]
/Parent 9 0 R
/Thumb 307 0 R
/Annots [308 0 R]
>>
endobj
51 0 obj
<<
/Type /Page
/Resources 309 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [310 0 R 311 0 R 312 0 R]
/Parent 9 0 R
/Thumb 313 0 R
/Annots [314 0 R]
>>
endobj
52 0 obj
<<
/Type /Page
/Resources 315 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [316 0 R 317 0 R 318 0 R]
/Parent 9 0 R
/Thumb 319 0 R
/Annots [320 0 R]
>>
endobj
53 0 obj
<<
/Type /Page
/Resources 321 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [322 0 R 323 0 R 324 0 R]
/Parent 9 0 R
/Thumb 325 0 R
/Annots [326 0 R]
>>
endobj
54 0 obj
<<
/Type /Page
/Resources 327 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [328 0 R 329 0 R 330 0 R]
/Parent 9 0 R
/Thumb 331 0 R
/Annots [332 0 R]
>>
endobj
55 0 obj
<<
/Type /Page
/Resources 333 0 R
/CropBox [0 0 493.228 700.157]
/MediaBox [0 0 493.228 700.157]
/Rotate 0
/Contents [334 0 R 335 0 R 336 0 R]
/Parent 9 0 R
/Thumb 337 0 R
/Annots [338 0 R]
>>
endobj
56 0 obj
<<
/Font <<
/F1 339 0 R
/F2 340 0 R
/F3 341 0 R
/F4 342 0 R
/F5 343 0 R
/F6 344 0 R
/F7 345 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 346 0 R
>>
>>
endobj
57 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
58 0 obj
<<
/Length 712
/Filter /FlateDecode
>>
stream
HtTr@\
{`6.3r<ݥu})QNAoXEpʑخH[ Qaټ~MJ()˪DI|og&ތX٣e3XWM3#_`S[ 0F
endstream
endobj
59 0 obj
<<
/Length 668
/Filter /FlateDecode
>>
stream
HTn0+x$S{jHNV=900¦_쒔$@A Ύ^
#$*9
oH{W>ՈvUj$ӈx(ci
ֿ]ѝw%u!gʜiDKԴViQQjRD+8ڞ_RJI5DJ¨Kr^ <555 ~^r) Cn"Ss
G4vX4UBaR U[e߱XbA'3ns:i3D±**Cw.Dr}[;ќػ~cMFXܫ
3y LPAjwD
@:}b|0;`ZZkGP?RQU)4
ks<oŻ,f#!`0_Ukdg*|raxqol:Hih٬ue^
vu=,no{R
-V.SO>X=ϡ?mKH*9olfL'O8S>.&((> <~wP[p_ 2kޡ#::;d: ,(K @t:H U8D_BҎU*~6V d8>M3MBqqfOZ𞥁? C*
endstream
endobj
60 0 obj
<<
/Length 630
/Filter /FlateDecode
>>
stream
HlTMo0WHO;>nnrk{Pb%ځͿ%YFu
[^|&r-$J/ruQ.v [&w)+(naȞ?EL ZY)ņKp+D RA(p:$xIfB)R/U.u{0U-|R+dF%*|*duH>ɠ