%PDF-1.3
1 0 obj
<<
/Kids [ 3 0 R 4 0 R 5 0 R 6 0 R 7 0 R 8 0 R 9 0 R 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 20 0 R 21 0 R 22 0 R ]
/Type /Pages
/Count 20
>>
endobj
2 0 obj
<<
/Producer (PyPDF2)
>>
endobj
3 0 obj
<<
/Contents 27 0 R
/Parent 1 0 R
/Resources <<
/ExtGState <<
/GS1 28 0 R
>>
/Font <<
/F2deca5d65-2fc1-4ac1-a313-df60061737b6 <<
/FirstChar 76
/Widths [ 423 707 280 280 280 280 280 280 280 280 280 280 280 280 280 280 280 280 280 280 280 457 280 365 280 456 280 493 500 240 280 280 240 740 280 480 280 280 280 280 330 ]
/Encoding 31 0 R
/Type /Font
/BaseFont /ALFJPC+MyriadBoldCondensed
/LastChar 116
/Subtype /Type1
/FontDescriptor 32 0 R
/ToUnicode 34 0 R
>>
/F13ced3278-2e8a-4418-b740-d996f424b384 <<
/FirstChar 0
/Widths [ 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 250 333 408 500 500 833 778 180 333 333 500 564 250 333 250 278 500 500 500 500 500 500 500 500 500 500 278 278 564 564 564 444 921 722 667 667 722 611 556 722 722 333 389 722 611 889 722 722 556 722 667 556 611 722 722 944 722 722 611 333 278 333 469 500 333 444 500 444 500 444 333 500 500 278 278 500 278 778 500 500 500 500 333 389 278 500 500 722 500 500 444 480 200 480 541 250 722 722 667 611 722 722 722 444 444 444 444 444 444 444 444 444 444 444 278 278 278 278 500 500 500 500 500 500 500 500 500 500 500 400 500 500 500 350 453 500 760 760 980 333 333 250 889 722 250 564 250 250 500 500 250 250 250 250 250 276 310 250 667 500 444 333 564 250 500 250 250 500 500 1000 250 722 722 722 889 722 500 1000 444 444 333 333 564 250 500 722 167 500 333 333 556 556 500 250 333 444 1000 722 611 722 611 611 333 333 333 333 722 722 250 722 722 722 722 278 333 333 333 333 333 333 333 333 333 333 ]
/Encoding /MacRomanEncoding
/Type /Font
/BaseFont /Times-Roman
/LastChar 255
/FontDescriptor 35 0 R
/Subtype /Type1
>>
/F2 37 0 R
/F3 38 0 R
/F1 41 0 R
/F6 42 0 R
/F7 47 0 R
/F4 52 0 R
/F5 55 0 R
/F8 60 0 R
>>
/ProcSet [ /ImageC /Text /PDF /ImageI /ImageB ]
>>
/Trans <<
>>
/Rotate 0
/MediaBox [ 0 0 595 842 ]
/Annots [ 63 0 R 179 0 R 64 0 R 180 0 R ]
/Type /Page
>>
endobj
4 0 obj
<<
/Parent 1 0 R
/Contents 183 0 R
/Type /Page
/Resources 184 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
5 0 obj
<<
/Parent 1 0 R
/Contents 222 0 R
/Type /Page
/Resources 223 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
6 0 obj
<<
/Parent 1 0 R
/Contents 229 0 R
/Type /Page
/Resources 230 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
7 0 obj
<<
/Parent 1 0 R
/Contents 240 0 R
/Type /Page
/Resources 241 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
8 0 obj
<<
/Parent 1 0 R
/Contents 242 0 R
/Type /Page
/Resources 243 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
9 0 obj
<<
/Parent 1 0 R
/Contents 254 0 R
/Type /Page
/Resources 255 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
10 0 obj
<<
/Parent 1 0 R
/Contents 265 0 R
/Type /Page
/Resources 266 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
11 0 obj
<<
/Parent 1 0 R
/Contents 267 0 R
/Type /Page
/Resources 268 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
12 0 obj
<<
/Parent 1 0 R
/Contents 269 0 R
/Type /Page
/Resources 270 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
13 0 obj
<<
/Parent 1 0 R
/Contents 271 0 R
/Type /Page
/Resources 272 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
14 0 obj
<<
/Parent 1 0 R
/Contents 273 0 R
/Type /Page
/Resources 274 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
15 0 obj
<<
/Parent 1 0 R
/Contents 275 0 R
/Type /Page
/Resources 276 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
16 0 obj
<<
/Parent 1 0 R
/Contents 277 0 R
/Type /Page
/Resources 278 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
17 0 obj
<<
/Parent 1 0 R
/Contents 279 0 R
/Type /Page
/Resources 280 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
18 0 obj
<<
/Parent 1 0 R
/Contents 281 0 R
/Type /Page
/Resources 282 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
19 0 obj
<<
/Parent 1 0 R
/Contents 283 0 R
/Type /Page
/Resources 284 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
20 0 obj
<<
/Parent 1 0 R
/Contents 285 0 R
/Type /Page
/Resources 286 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
21 0 obj
<<
/Parent 1 0 R
/Contents 287 0 R
/Type /Page
/Resources 288 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
22 0 obj
<<
/Parent 1 0 R
/Contents 289 0 R
/Type /Page
/Resources 290 0 R
/Rotate 0
/CropBox [ 79.37009 87.87402 515.62991 754.12598 ]
/MediaBox [ 0 0 595 842 ]
>>
endobj
23 0 obj
<<
/D [ 0 /Fit ]
/S /GoTo
>>
endobj
24 0 obj
<<
/Parent 25 0 R
/Title (1)
/A 23 0 R
>>
endobj
25 0 obj
<<
/Count 1
/First 24 0 R
/Last 24 0 R
>>
endobj
26 0 obj
<<
/Type /Catalog
/Pages 1 0 R
/Outlines 25 0 R
>>
endobj
27 0 obj
<<
/Length 14367
>>
stream
q
1 0 0 1 0 0 cm
BT
/F1 12 Tf
14.4 TL
ET
BT
/F2 9 Tf
10.8 TL
ET
q
0 1 -1 0 15 56 cm
BT
1 0 0 1 0 0 Tm
1 0 0 1 0 0 Tm
/F2 9 Tf
10.8 TL
0.2667 0.2667 0.2667 rg
(source\072 ) Tj
0.89 0 0.239 rg
(https\072\057\057doi\056org\05710\0567892\057boris\056118090) Tj
0.2667 0.2667 0.2667 rg
( \174 downloaded\072 10\0561\0562025) Tj
ET
Q
Q
q
0 G
0 J
0 j
0.5 w
10 M
[ ] 0 d
/GS1 gs
1 i
69.21 87.84 m
74.91 87.84 l
77.76 84.99 m
77.76 79.29 l
525.51 87.84 m
519.81 87.84 l
516.96 84.99 m
516.96 79.29 l
525.51 753.84 m
519.81 753.84 l
516.96 756.69 m
516.96 762.39 l
69.21 753.84 m
74.91 753.84 l
77.76 756.69 m
77.76 762.39 l
S
BT
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
8.9664 0 0 8.9664 138.6142 687.3182 Tm
0 g
0 Tc
0 Tw
[ (Digital) -250 (Object) -250 (Identi\336er) -250 (\050DOI\051\072) ] TJ
0 -1.1111 TD
(10\0561007\057s00153\055004\0550251\0551) Tj
ET
0.398 w
138.614 674.168 m
464.392 674.168 l
S
BT
8.9664 0 0 8.9664 138.121 696.99 Tm
[ (Arch\056) -250 (Math\056) -250 (Logic) -250 (44\054) -250 (561\320580) -250 (\0502005\051) ] TJ
/F2deca5d65-2fc1-4ac1-a313-df60061737b6 1 Tf
16.1839 0 0 17.1284 343.9244 692.0082 Tm
0.0004 Tc
[ (Ma) 9.4 (thema) 9.4 (tic) -10.6 (al) -172.6 (L) 6.4 (o) -0.6 (gic) ] TJ
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 138.6142 651.2087 Tm
0 Tc
[ (Dieter) -250 (Probst) ] TJ
/F3 1 Tf
15.9402 0 0 15.9402 138.6142 625.8835 Tm
[ (On) -299.5 (the) -299.5 (r) 18 (elationship) -299.5 (between) -299.5 (\336xed) -299.5 (points) -299.5 (and) ] TJ
0 -1.07 TD
[ (iteration) -358.9 (in) -358.9 (admissible) -358.9 (set) -358.9 (theory) -358.9 (without) ] TJ
T*
[ (f) 25 (oundation) ] TJ
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
8.9664 0 0 8.9664 138.6142 566.8646 Tm
[ (Recei) 25 (v) 15 (ed\072) -250 (1) -250 (N) 0 (o) 15 (v) 15 (ember) -250 (2003) -250 (\057) ] TJ
0 -1.1111 TD
[ (Published) -250 (online\072) -250 (27) -250 (December) -250 (200) ] TJ
14.3324 0 TD
[ (4) -250 (\320) -250 (\251) -250 (Springer) 20 (\055V) 111 (erlag) -250 (2004) ] TJ
/F3 1 Tf
-14.3874 -2.5892 TD
(Abstract\056) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
4.5266 0 TD
[ (In) -348.9 (this) -348.9 (article) -348.9 (we) -348.9 (sho) 25 (w) -348.9 (h) 0 (o) 25 (w) -348.9 (to) -348.9 (use) -348.9 (the) -348.9 (result) -348.9 (in) -348.9 (J) -55.5 (\254) ] TJ
20.2867 0 TD
[ (ager) -348.9 (and) -348.9 (Probst) -348.9 (\1337\135) -348.9 (to) -348.9 (adapt) ] TJ
-24.7583 -1.1111 TD
-0.0001 Tc
[ (the) -323.6 (technique) -323.6 (of) -323.6 (pseudo\055hierarchies) -323.6 (and) -323.6 (its) -323.6 (use) -323.6 (in) -268.6 (A) 73.9 (vigad) -323.6 (\1331\135) -323.6 (to) -323.6 (subsystems) -323.6 (of) -323.6 (set) -323.6 (theory) ] TJ
0 -1.2301 TD
0 Tc
[ (without) -307.8 (foundation\056) -277.8 (W) 80 (e) -307.8 (pro) 15 (v) 15 (e) -307.8 (that) -307.8 (the) -307.8 (theory) ] TJ
/F4 1 Tf
18.5961 0 TD
(KPi) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
5.9776 0 0 5.9776 319.3052 516.8242 Tm
(0) Tj
8.9664 0 0 8.9664 325.5877 512.6937 Tm
[ (of) -307.8 (admissible) -307.8 (sets) -307.8 (without) -307.8 (foundation\054) ] TJ
-20.8527 -1.1111 TD
[ (e) 15 (xtended) -319.4 (by) -319.4 (the) -319.4 (principle) ] TJ
/F5 1 Tf
10.6497 0 TD
<2801> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.185 0 TD
(\055) Tj
/F4 1 Tf
0.333 0 TD
(FP) Tj
/F5 1 Tf
1.278 0 TD
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.373 0 TD
[ (\054) -319.3 (asserting) -319.3 (the) -319.3 (e) 15 (xistence) -319.3 (of) -319.3 (\336x) 15 (ed) -319.4 (points) -319.3 (of) -319.3 (monotone) ] TJ
/F5 1 Tf
21.7036 0 TD
<01> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
-35.5223 -1.2301 TD
[ (operators\054) -274.5 (has) -274.5 (the) -274.5 (same) -274.5 (proof\055theoretic) -274.5 (ordinal) -274.5 (as) ] TJ
/F4 1 Tf
20.1668 0 TD
(KPi) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
5.9776 0 0 5.9776 333.3889 495.8319 Tm
(0) Tj
8.9664 0 0 8.9664 339.3725 491.7014 Tm
[ (e) 15 (xtended) -274.5 (by) -274.5 (the) -274.5 (principle) ] TJ
/F5 1 Tf
10.4701 0 TD
<2801> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.185 0 TD
(\055) Tj
/F4 1 Tf
0.333 0 TD
(TR) Tj
/F5 1 Tf
1.333 0 TD
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.373 0 TD
(\054) Tj
-36.0843 -1.1111 TD
[ (that) -362.8 (allo) 25 (ws) -362.8 (to) -362.8 (iterate) ] TJ
/F5 1 Tf
8.8145 0 TD
<01> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.1748 0 TD
[ (operations) -362.8 (along) -362.8 (ordinals\056) -362.8 (By) -362.8 (J) -55.5 (\254) ] TJ
12.8676 0 TD
[ (ager) -362.8 (and) -362.8 (Probst) -362.8 (\1336\135) -362.8 (we) -362.8 (conclude) ] TJ
-22.857 -1.2301 TD
[ (that) -267.9 (the) -267.9 (metapredicati) 25 (v) 15 (e) -267.9 (Mahlo) -267.9 (ordinal) ] TJ
/F5 1 Tf
15.8531 0 TD
0.05 Tc
<0203> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.287 0 TD
0 Tc
[ (00) -273.9 (is) -267.9 (also) -267.9 (the) -267.9 (ordinal) -267.9 (of) ] TJ
/F4 1 Tf
9.7798 0 TD
(KPi) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
5.9776 0 0 5.9776 393.9398 474.8396 Tm
(0) Tj
/F6 1 Tf
8.9664 0 0 8.9664 399.4551 470.7091 Tm
(\053) Tj
/F5 1 Tf
1.0022 0 TD
<2801> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.185 0 TD
(\055) Tj
/F4 1 Tf
0.333 0 TD
(FP) Tj
/F5 1 Tf
1.278 0 TD
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.3729 0 TD
[ (\056) -267.9 (Hence) ] TJ
-33.2622 -1.1111 TD
[ (the) -305.7 (relationship) -305.7 (between) -305.7 (\336x) 15 (ed) -305.7 (points) -305.7 (and) -305.7 (iteration) -305.7 (persists) -305.7 (in) -305.7 (the) -305.7 (framew) 10 (ork) -305.7 (of) -305.7 (set) -305.7 (theory) ] TJ
T*
[ (without) -250 (foundation\056) ] TJ
ET
138.614 436.411 m
464.392 436.411 l
S
BT
/F3 1 Tf
9.9626 0 0 9.9626 138.6142 415.3041 Tm
[ (1\056) -500 (Intr) 18 (oduction) ] TJ
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0 -1.978 TD
[ (In) -192.4 (classical) -192.4 (set) -192.4 (theory) 65 (\054) -192.4 (the) -192.4 (relationship) -192.4 (between) -192.4 (\336x) 15 (ed) -192.4 (points) -192.4 (and) -192.4 (iteration) -192.4 (is) -192.4 (e) 25 (vident\056) ] TJ
0 -1.2 TD
[ (Gi) 25 (v) 15 (e) 0 (n) -296.1 (a) -296.1 (monotone) -296.1 (operator) ] TJ
/F5 1 Tf
11.3646 0 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.9781 0 TD
[ (on) -296.1 (the) -296.1 (po) 25 (wer) -296.1 (set) ] TJ
/F4 1 Tf
6.9916 0 TD
(P) Tj
/F5 1 Tf
0.667 0 TD
[ (\050a) -45 (\051) ] TJ
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.5871 0 TD
[ (of) -296.1 (some) -296.1 (set) ] TJ
/F5 1 Tf
4.9434 0 TD
(a) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.545 0 TD
[ (\054) -296.1 (a) -296.1 (\336) 0 (x) 15 (e) 0 (d) -296.1 (point) ] TJ
-27.0769 -1.2 TD
[ (is) -276.4 (obtained) -276.4 (by) -276.4 (iterating) -276.4 (the) -276.4 (operator) -276.4 (along) -276.4 (the) -276.4 (ordinals\072) -276.4 (Start) -276.4 (with) -276.4 (an) -276.4 (arbitrary) -276.4 (set) ] TJ
/F5 1 Tf
T*
(I) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
7.5716 0 0 7.5716 143.9443 363.3988 Tm
(0) Tj
/F5 1 Tf
-0.1579 -0.9021 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 152.4949 359.7326 Tm
(\072) Tj
/F6 1 Tf
0.278 0 TD
(\075) Tj
/F5 1 Tf
1.19 0 TD
(x) Tj
/F6 1 Tf
0.97 0 TD
<01> Tj
/F5 1 Tf
1.19 0 TD
(a) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.545 0 TD
[ (\054) -326.1 (apply) -326.1 (the) -326.1 (operator) -326.1 (in) -326.1 (the) -326.1 (successor) -326.1 (case\054) -326.1 (i\056e\056) ] TJ
/F5 1 Tf
18.9865 0 TD
(I) Tj
7.5716 0 0 7.5716 388.5537 364.0273 Tm
<05> Tj
/F6 1 Tf
0.611 0 TD
(\053) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.78 0 TD
(1) Tj
/F5 1 Tf
-1.5489 -0.9851 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 407.454 359.7326 Tm
(\072) Tj
/F6 1 Tf
0.278 0 TD
(\075) Tj
/F5 1 Tf
1.19 0 TD
0.04 Tc
[ <0428> 40 (I) ] TJ
7.5716 0 0 7.5716 437.9197 363.4745 Tm
0 Tc
<05> Tj
-0.1579 -0.9121 TD
<04> Tj
9.9626 0 0 9.9626 443.0441 359.7326 Tm
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.6991 0 TD
(and) Tj
-31.2563 -1.2 TD
[ (tak) 10 (e) -273.5 (the) -273.5 (union) -273.5 (at) -273.5 (limit) -273.5 (stages\054) -273.5 (i\056e\056) ] TJ
/F5 1 Tf
13.5984 0 TD
(I) Tj
7.5716 0 0 7.5716 279.42 351.4436 Tm
<06> Tj
-0.1579 -0.9021 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 287.2328 347.7774 Tm
(\072) Tj
/F6 1 Tf
0.278 0 TD
(\075) Tj
/F7 1 Tf
1.0985 0.75 TD
<01> Tj
/F6 1 Tf
7.5716 0 0 7.5716 310.3114 344.9081 Tm
(\173) Tj
/F5 1 Tf
0.37 0 TD
0.04 Tc
[ <053c> 40 <06> ] TJ
/F6 1 Tf
1.9379 0 TD
0 Tc
(\175) Tj
/F5 1 Tf
9.9626 0 0 9.9626 332.7467 347.7774 Tm
(I) Tj
7.5716 0 0 7.5716 338.0768 351.5193 Tm
<05> Tj
-0.1579 -0.9121 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 343.2011 347.7774 Tm
[ (\056) -255.5 (The) -273.5 (monotonicity) -273.5 (of) ] TJ
/F5 1 Tf
9.0479 0 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.9555 0 TD
[ (and) -273.5 (a) ] TJ
-30.5388 -1.2 TD
[ (cardinality) -265.6 (ar) 18 (gument) -265.6 (assure) -265.6 (that) -265.6 (there) -265.6 (is) -265.6 (an) -265.6 (ordinal) ] TJ
/F5 1 Tf
20.6027 0 TD
<07> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.9296 0 TD
[ (such) -265.6 (that) ] TJ
/F5 1 Tf
3.8642 0 TD
(I) Tj
7.5716 0 0 7.5716 396.9597 339.4885 Tm
<07> Tj
-0.1579 -0.9021 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 405.131 335.8222 Tm
[ (is) -265.6 (a) -265.6 (\336) 0 (x) 15 (e) 0 (d) -265.6 (point) ] TJ
-26.7516 -1.2 TD
[ (of) -305.4 (the) -305.4 (operator) ] TJ
/F5 1 Tf
6.3032 0 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.682 0 TD
[ (\056) -305.4 (O) 0 (n) -305.4 (the) -305.4 (other) -305.4 (hand\054) -305.4 (iterating) -305.4 (an) -305.4 (operator) -305.4 (along) -305.4 (a) -305.4 (well\055ordering) ] TJ
-6.9852 -1.2 TD
[ (can) -332.1 (be) -332.1 (seen) -332.1 (as) -332.1 (the) -332.1 (iterati) 25 (v) 15 (e) -332.1 (construction) -332.1 (of) -332.1 (a) -332.1 (\336) 0 (x) 15 (e) 0 (d) -332.1 (point) -332.1 (of) -332.1 (a) -332.1 (suitable) -332.1 (monotone) ] TJ
T*
[ (operator) 55 (\056) ] TJ
1.5 -1.2 TD
[ (In) -329.9 (\050meta\051\055predicati) 25 (v) 15 (e) -329.9 (subsystems) -329.9 (of) -329.9 (second) -329.9 (order) -329.9 (arithmetic) -329.9 (things) -329.9 (are) -329.9 (more) ] TJ
-1.5 -1.2 TD
[ (comple) 15 (x\056) -339.9 (One) -339.9 (cannot) -339.9 (pro) 15 (v) 15 (e) -339.9 (the) -339.9 (e) 15 (xistence) -339.9 (of) -339.9 (well\055orderings) -339.9 (long) -339.9 (enough) -339.9 (for) -339.9 (the) ] TJ
T*
[ (iteration) -277 (process) -277 (to) -277 (become) -277 (stationary) 65 (\056) -277 (N) 0 (e) 25 (vertheless\054) -277 (the) -277 (e) 15 (xistence) -277 (of) -277 (\336x) 15 (ed) -277 (points) ] TJ
T*
[ (follo) 25 (ws) -362.6 (if) -362.6 (we) -362.6 (assume) -362.6 (that) -362.6 (the) -362.6 (well\055orderedness) -362.6 (of) ] TJ
/F6 1 Tf
20.9832 0 TD
<02> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.1166 0 TD
[ (implies) -362.6 (the) -362.6 (e) 15 (xistence) -362.6 (of) -362.6 (a) ] TJ
-22.0998 -1.2 TD
-0.0006 Tc
(hierarchy) Tj
/F5 1 Tf
4.0849 0 TD
0 Tc
(H) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
1.2209 0 TD
(with) Tj
/F5 1 Tf
2.0919 0 TD
[ (\050H) -130 (\051) ] TJ
7.5716 0 0 7.5716 228.783 238.6865 Tm
<05> Tj
/F6 1 Tf
9.9626 0 0 9.9626 237.7793 240.1808 Tm
(\075) Tj
/F5 1 Tf
1.1687 0 TD
(I) Tj
7.5716 0 0 7.5716 254.7523 243.9228 Tm
<05> Tj
-0.1579 -0.9121 TD
<04> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 263.0036 240.1808 Tm
[ (for) -313.9 (all) ] TJ
/F5 1 Tf
2.7938 0 TD
<05> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.9249 0 TD
[ (in) -313.9 (the) -313.9 (\336eld) -313.9 (of) ] TJ
/F6 1 Tf
5.8665 0 TD
<02> Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.754 0 TD
[ (\056) -295.9 (This) -313.9 (principle) -313.9 (is) -313.9 (called) ] TJ
-22.8248 -1.2 TD
[ (arithmetical) -210.5 (trans\336nite) -210.5 (recursion\054) -210.5 (or) ] TJ
/F5 1 Tf
14.4232 0 TD
(\050) Tj
/F4 1 Tf
0.373 0 TD
-0.12 Tc
[ (AT) -120 (R) ] TJ
/F5 1 Tf
1.88 0 TD
0 Tc
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.5835 0 TD
-0.0002 Tc
[ (for) -210.7 (short\054) -210.7 (and) -210.7 (w) 9.8 (a) -0.2 (s) -210.7 (sho) 24.8 (wn) -210.7 (by) -155.7 (A) 73.8 (vigad) -210.7 (\1331\135) ] TJ
-17.2597 -1.2 TD
0 Tc
[ (to) -283.8 (be) -283.8 (equi) 25 (valent) -283.8 (o) 15 (v) 15 (e) 0 (r) -283.8 (the) -283.8 (theory) ] TJ
/F4 1 Tf
13.0901 0 TD
-0.03 Tc
[ (AC) -30 (A) ] TJ
7.5716 0 0 7.5716 289.2102 214.5912 Tm
0 Tc
(0) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.9626 0 0 9.9626 296.7455 216.2705 Tm
[ (to) -283.8 (the) -283.8 (principle) ] TJ
/F5 1 Tf
6.4065 0 TD
(\050) Tj
/F4 1 Tf
0.373 0 TD
(FP) Tj
/F5 1 Tf
1.278 0 TD
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.6568 0 TD
[ (that) -283.8 (claims) -283.8 (the) -283.8 (e) 15 (xis\055) ] TJ
-24.5868 -1.2 TD
[ (tence) -335.6 (of) -335.6 (\336x) 15 (ed) -335.6 (points) -335.6 (of) -335.6 (monotone) -335.6 (operators) -335.6 (de\336ned) -335.6 (by) -335.6 (an) -335.6 (arithmetical) -335.6 (formula\056) ] TJ
-0.018 -1.2 TD
[ (T) 80 (o) -242.4 (pro) 15 (v) 15 (e) -242.4 (the) -242.4 (e) 15 (xistence) -242.4 (of) -242.4 (\336x) 15 (ed) -242.4 (points) -242.4 (gi) 25 (v) 15 (e) 0 (n) ] TJ
/F5 1 Tf
17.5901 0 TD
(\050) Tj
/F4 1 Tf
0.373 0 TD
-0.12 Tc
[ (AT) -120 (R) ] TJ
/F5 1 Tf
1.88 0 TD
0 Tc
(\051) Tj
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
0.373 0 TD
-0.0002 Tc
[ (\054) -187.6 (A) 73.8 (vigad) -242.6 (mak) 9.8 (es) -242.6 (use) -242.6 (of) -242.6 (so) -242.6 (called) ] TJ
ET
138.614 180.813 m
464.392 180.813 l
S
BT
8.9664 0 0 8.9664 138.6142 170.0538 Tm
0 Tc
[ (D\056) -200.2 (Probst\072) -200.2 (Institut) -200.2 (f) -83.5 (\254) ] TJ
7.5739 0 TD
[ (ur) -200.2 (Informatik) -200.3 (und) -200.3 (angew) 10 (andte) -200.2 (Mathematik\054) -200.2 (Univ) 15 (ersit) -55.5 (\254) ] TJ
21.1679 0 TD
[ (at) -200.2 (Bern\054) -200.2 (Neubr) -83.5 (\254) ] TJ
5.8157 0 TD
(uck\055) Tj
-34.5575 -1.1111 TD
[ (strasse) -250 (10\054) -250 (3012) -250 (Bern\054) -250 (Switzerland) ] TJ
-0.018 -1.4444 TD
[ (The) -250 (author) -250 (is) -250 (supported) -250 (by) -250 (the) -250 (Swiss) -250 (National) -250 (Science) -250 (F) 15 (oundation\056) ] TJ
/F8 1 Tf
0.018 -1.4444 TD
[ (K) 35 (e) 30 (y) -250 (wor) 37 (ds) -250 (or) -250 (phr) 15 (ases\072) ] TJ
/F13ced3278-2e8a-4418-b740-d996f424b384 1 Tf
9.1613 0 TD
[ (Admissible) -250 (sets) -250 (\320) -250 (Fix) 15 (ed) -250 (points) -250 (\320) -250 (Iteration) -250 (\320) -250 (Pseudo\055hierarchies) ] TJ
ET
Q
endstream
endobj
28 0 obj
<<
/SA false
/Type /ExtGState
/SM 0.02
/OP false
/UCR 29 0 R
/HT /Default
/BG 30 0 R
>>
endobj
29 0 obj
<<
/Range [ -1 1 ]
/Filter /FlateDecode
/Domain [ 0 1 ]
/BitsPerSample 16
/Size [ 256 ]
/Length 527
/FunctionType 0
>>
stream
H
!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ?
endstream
endobj
30 0 obj
<<
/Range [ 0 1 ]
/Filter /FlateDecode
/Domain [ 0 1 ]
/BitsPerSample 8
/Size [ 256 ]
/Length 271
/FunctionType 0
>>
stream
H
!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~
endstream
endobj
31 0 obj
<<
/Type /Encoding
/Differences [ 76 /L /M 97 /a 99 /c 101 /e 103 /g /h /i 108 /l /m 111 /o 116 /t ]
>>
endobj
32 0 obj
<<
/FontBBox [ -39 -250 1045 840 ]
/FontName /ALFJPC+MyriadBoldCondensed
/FontFile3 33 0 R
/Flags 4
/Descent -203
/Type /FontDescriptor
/StemH 116
/StemV 138
/Ascent 0
/ItalicAngle 0
/CharSet (\057M\057t\057L\057c\057i\057h\057m\057a\057g\057e\057o\057l)
/CapHeight 0
>>
endobj
33 0 obj
<<
/Length 1189
/Filter /FlateDecode
/Subtype /Type1C
>>
stream
H|kPgw ԩ:x*vHQ2
$DQBh2
BEZaZ3vjujNE[m7ߟsyXh86uMzr:QR2Z7iLbLBu1X~6QP;wFg1[Ɇ#ow?;w'
4|T7os
QUQ$ԛ
hī"JWw)`Wñy8
İT{+[c "1b.O<
9!#ɺy-2q&>O0dBd7A@,0W$52[Kޘ^E~m6hyr#&5\я]Nq/:-Y?|5 JUB*d#4oR=BHsEsPhZ5"7%WkngnQG9
2ƂCAN^\8~g+j ah)3=O3g{BTZ5ٗ~y'] ocǂ0
ĕࣁK{b)X4B9x> y*f/8VMQyN]`|6Us(%ģwJ3alhI:.ۜ6fXMB8 <-|X~⺯k~vjX8>͢W*&fGG]ho).`+@oD$٬DoYPht-lɁ}m04J7&.^]ocvnP/%$#Dz`ڽYOhϝ::O2>+,E -,]q,2R?Lz+NotڊYd9E[s24vwWEV P8)dYJt_
2 4ٶz>;CR}:"=lyss*|0wC4.F+Pwa}-,]
KR;M^-Ka*(Xâ~*%Ͼ
]mlG'̩o\O z)jJeilkJJ"&@X8/DD [ Si ?
endstream
endobj
34 0 obj
<<
/Length 277
/Filter /FlateDecode
>>
stream
HTKk ~9nكy/()9AI*4F9Gm_gm)ihaJ\p+RAi.S7\;/Fj%}pN,$4 p }bMOi,E3.xh #e̸RWLgse؋:v8]%ьW"+WQ|D#vɾ&ןP\*/O-
endstream
endobj
35 0 obj
<<
/FontBBox [ -168 -218 1000 898 ]
/FontName /Times-Roman
/FontFile3 36 0 R
/XHeight 450
/Flags 34
/Descent -217
/Type /FontDescriptor
/StemH 84
/StemV 84
/Ascent 699
/ItalicAngle 0
/CapHeight 662
>>
endobj
36 0 obj
<<
/Length 14687
/Filter /FlateDecode
/Subtype /Type1C
>>
stream
H|TiXNFeĉL-(eAR.H4A# IXE*A **-֪(jyPb*{i{||9l f[ER(B8IFff2` L|dY=C
lX&ljZsÅ]6}>DAKۥ=T!w(*ZJI2X.'4dT#UO?\iH1U%RX@*YRG%%WDH&eKXD
:Gqc7st]4X:;uqV::/yE.V..宔v>lNOcs[(V% zqg"rQ"uvA;PK1S[oC-\x1AbSF )ʋ
¨T%䔖ʠtTUAQ92O@=~^Si.=IF{t0^CRZA'әӥt%m5
}G?|L>؍;z
]"r̊uA#ٽ1ٱӒP琅y骎SzyF+d^&8bp 1
ˮ&Q[T)kuY4|E
}&qO y{ŕbH"p qEʑkV G n)BDbS:k0zMxMwnMoB_0L8m]G"x0Ds6/]~0