Sindbad~EG File Manager
%PDF-1.4
%����
3 0 obj
<< /pgfprgb [/Pattern /DeviceRGB] >>
endobj
11 0 obj
<< /S /GoTo /D (Outline0.1) >>
endobj
14 0 obj
(Introduction)
endobj
15 0 obj
<< /S /GoTo /D (Outline0.1.1.1) >>
endobj
18 0 obj
(School Of Athens)
endobj
19 0 obj
<< /S /GoTo /D (Outline0.1.2.2) >>
endobj
22 0 obj
(Postulates versus Axioms)
endobj
23 0 obj
<< /S /GoTo /D (Outline0.1.3.3) >>
endobj
26 0 obj
(Three versions of the parallel postulate)
endobj
27 0 obj
<< /S /GoTo /D (Outline0.1.4.7) >>
endobj
30 0 obj
(Today's main results)
endobj
31 0 obj
<< /S /GoTo /D (Outline0.2) >>
endobj
34 0 obj
(What is constructive geometry?)
endobj
35 0 obj
<< /S /GoTo /D (Outline0.2.1.8) >>
endobj
38 0 obj
(Intuitionistic logic or ruler-and-compass?)
endobj
39 0 obj
<< /S /GoTo /D (Outline0.2.2.8) >>
endobj
42 0 obj
(Primitive constructions)
endobj
43 0 obj
<< /S /GoTo /D (Outline0.2.3.14) >>
endobj
46 0 obj
(First order theories of geometry)
endobj
47 0 obj
<< /S /GoTo /D (Outline0.2.4.16) >>
endobj
50 0 obj
(Models of the Elementary Constructions)
endobj
51 0 obj
<< /S /GoTo /D (Outline0.2.5.17) >>
endobj
54 0 obj
(Book I, Prop. 2)
endobj
55 0 obj
<< /S /GoTo /D (Outline0.2.6.22) >>
endobj
58 0 obj
(Right and left turns)
endobj
59 0 obj
<< /S /GoTo /D (Outline0.3) >>
endobj
62 0 obj
(IEGC \(Intuitionistic Euclidean Constructive Geometry\))
endobj
63 0 obj
<< /S /GoTo /D (Outline0.3.1.27) >>
endobj
66 0 obj
(Does Euclid use the law of the excluded middle?)
endobj
67 0 obj
<< /S /GoTo /D (Outline0.3.2.31) >>
endobj
70 0 obj
(Defining arithmetic on signed segments)
endobj
71 0 obj
<< /S /GoTo /D (Outline0.3.3.32) >>
endobj
74 0 obj
(Descartes's geometric arithmetic)
endobj
75 0 obj
<< /S /GoTo /D (Outline0.3.4.35) >>
endobj
78 0 obj
(The theory IECG)
endobj
79 0 obj
<< /S /GoTo /D (Outline0.3.5.39) >>
endobj
82 0 obj
(Constructions and classical logic)
endobj
83 0 obj
<< /S /GoTo /D (Outline0.4) >>
endobj
86 0 obj
(Connections to Field Theory)
endobj
87 0 obj
<< /S /GoTo /D (Outline0.4.1.40) >>
endobj
90 0 obj
(Constructive Fields and Ordered Fields)
endobj
91 0 obj
<< /S /GoTo /D (Outline0.4.2.41) >>
endobj
94 0 obj
(Coordinatization)
endobj
95 0 obj
<< /S /GoTo /D (Outline0.4.3.42) >>
endobj
98 0 obj
(Ziegler)
endobj
99 0 obj
<< /S /GoTo /D (Outline0.4.4.43) >>
endobj
102 0 obj
(The smallest Euclidean field)
endobj
103 0 obj
<< /S /GoTo /D (Outline0.5) >>
endobj
106 0 obj
(Field theory and the parallel postulate)
endobj
107 0 obj
<< /S /GoTo /D (Outline0.5.1.44) >>
endobj
110 0 obj
(Constructive ordered fields and parallel postulates)
endobj
111 0 obj
<< /S /GoTo /D (Outline0.5.2.45) >>
endobj
114 0 obj
(Division and parallels)
endobj
115 0 obj
<< /S /GoTo /D (Outline0.5.3.46) >>
endobj
118 0 obj
( Strong parallel postulate implies Euclid 5 implies Playfair)
endobj
119 0 obj
<< /S /GoTo /D (Outline0.6) >>
endobj
122 0 obj
(Independence results)
endobj
123 0 obj
<< /S /GoTo /D (Outline0.6.1.47) >>
endobj
126 0 obj
(Independence results for geometry reduced to field theory)
endobj
127 0 obj
<< /S /GoTo /D (Outline0.6.2.48) >>
endobj
130 0 obj
(Kripke models)
endobj
131 0 obj
<< /S /GoTo /D (Outline0.6.3.51) >>
endobj
134 0 obj
(A warm-up independence result)
endobj
135 0 obj
<< /S /GoTo /D (Outline0.6.4.54) >>
endobj
138 0 obj
(Euclid 5 does not imply the strong parallel postulate)
endobj
139 0 obj
<< /S /GoTo /D (Outline0.6.5.66) >>
endobj
142 0 obj
(Playfair does not imply Euclid 5)
endobj
143 0 obj
<< /S /GoTo /D (Outline0.6.6.73) >>
endobj
146 0 obj
(Conclusions)
endobj
147 0 obj
<< /S /GoTo /D [148 0 R /Fit ] >>
endobj
189 0 obj <<
/Length 1549
/Filter /FlateDecode
>>
stream
x��XYo7~���[%�bx/�T$ib$@��*���A]�-����q��;�sW�;��$@��8���%a���F�P�FP+5��\�i��ɛ[��=RA��l.I��[�&�o�K⏵x@y�gQY�ɩ�r^�zurENnm'{0�$����K�q�!�b�H*m%%��3�f8#'o�U$�8�P�9�S��?
$圳dHHy\��GR
����r�[OὃiS�`���[��Y}�=��f���C��>�U��H
F�$��"��9~r�����qg��-v�!��{Uq���qs�b����������,̨vUe`�<�bQ�Y���Va�FQ�
��yo(>��M�=y�= ��QpZXXL��_<�V1��j8j�;���kQ�}���b��jFJ�{��'a�1�,S��B��B+����!@8e�)�ta�u,PRO� �<�Rg
�VT�f�LN��4���M����<�@�/I 2����r_g�!�Fd�Nf�3D���Rpw��:֯� +!�w���Lk�`cG JE��M��)��B����I�,�?�tb8��x�{%g����z�C�D_�����A��$D�C�W9�&R�r*��b�_��*P��R��$��e�A��������s�����:]ؤ@5�P����?G/�ݦO��_�ݢ]����Ġ���L4&KE&�*�c�g�x"�-�a���� �&P.�v�t��x��B;�@�xv�4 �c���k��u�?�����f�Ʃ=�u�i� ��ˍ��{�n��u�����0>_4���9O�hc�F�Gd�=T[�CP;@��l]��?3�>[.�e�xC���z9��W+00$��V��
��Z��M��^v��G�ݞ�GW�M{��|^H�a�GB�N�]�����g*�sV�[��6j��E���"�m��q)�Ŧ'0� ���x=NF����k���o6����E�����G��7MS�+��^P����t������QLG�?��[��{�����Μ�(K��r
#
=9�@9��\��^�lңO� L8������p7�%$0ǂj])1+70'0�dM�Z`�9�<J�
<~�S�
�i��N�!U�2t�l���[�]�?nU�j��*B��c��D[:�9J
�� �1��T�^:�r���A��4�j��mQ�g>� �I�lSy�9�SH�FC��������b��l�X�#k&F1�uA��z�C�0�"q��Y�����ہK�%��U4WE+��IN����(X �ݏ@sM�w�����H� ,�(#O��;e�sP8��w$���FTAsY���¼�&PZ����
�_������ʿ9��b">z����*����Ԑ���]�^az�s���^K��A�ej�C� ���J��t��Q:��Mގ$�/���b߫/>�����;�[M`�_s�H����Pej�@I���ƻ
endstream
endobj
148 0 obj <<
/Type /Page
/Contents 189 0 R
/Resources 188 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 196 0 R
/Annots [ 157 0 R 158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R 170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R 176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R 186 0 R 187 0 R ]
>> endobj
156 0 obj <<
/Type /XObject
/Subtype /Image
/Width 469
/Height 400
/BitsPerComponent 8
/Length 22684
/ColorSpace /DeviceRGB
/Filter /DCTDecode
>>
stream
��� JFIF H H ���Photoshop 3.0 8BIM� x H H
���,6G{� H H
d � ' ` � 8BIM� H H 8BIM� 8BIM'
8BIM� H /ff lff /ff ��� 2 Z 5 - 8BIM� p ����������������������� ����������������������� ����������������������� ����������������������� 8BIM �� Adobe d� �� � ##""�� ��"