%PDF-1.5 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (Introduction) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (Herbrand Realizability) endobj 9 0 obj << /S /GoTo /D (section.3) >> endobj 12 0 obj (A Tale of Three Triposes) endobj 13 0 obj << /S /GoTo /D (section.4) >> endobj 16 0 obj (Herbrand Realizability as a Gleason Cover) endobj 17 0 obj << /S /GoTo /D (section.5) >> endobj 20 0 obj (Functoriality of Herbrand Realizability) endobj 21 0 obj << /S /GoTo /D [22 0 R /Fit] >> endobj 32 0 obj << /Length 3208 /Filter /FlateDecode >> stream xk۶ S!@wIs}7imwJI<1E*|63.(P'M3pG`,^@On/yELwT.HZv.ݗmy8(-6Tpy<.EPWJ mzkhb(wmWy9Ti/",:\R >HDž eH[)*U"q0+% \/ L?\]\N<^ȁc]go.x'/xy~s}sXfc!P2<\Z]x}s{b0KZ|XJl![ 5qm)