Sindbad~EG File Manager
%PDF-1.4
%����
4 0 obj
<< /S /GoTo /D (section.1) >>
endobj
7 0 obj
(Inconsistencies in the PSL outer core)
endobj
8 0 obj
<< /S /GoTo /D (subsection.1.1) >>
endobj
11 0 obj
(Subtree contradiction \(Mayer\) and problematic definition)
endobj
12 0 obj
<< /S /GoTo /D (subsection.1.2) >>
endobj
15 0 obj
(same\137grove contradiction )
endobj
16 0 obj
<< /S /GoTo /D (subsection.1.3) >>
endobj
19 0 obj
(sibling contradiction)
endobj
20 0 obj
<< /S /GoTo /D (subsection.1.4) >>
endobj
23 0 obj
(iso\137occ contradiction )
endobj
24 0 obj
<< /S /GoTo /D (subsection.1.5) >>
endobj
27 0 obj
(conc contradiction )
endobj
28 0 obj
<< /S /GoTo /D (subsection.1.6) >>
endobj
31 0 obj
(successor contradiction )
endobj
32 0 obj
<< /S /GoTo /D (section.2) >>
endobj
35 0 obj
( Fixing PSL)
endobj
36 0 obj
<< /S /GoTo /D (subsection.2.1) >>
endobj
39 0 obj
( Removing axioms leading to infinite models)
endobj
40 0 obj
<< /S /GoTo /D (subsection.2.2) >>
endobj
43 0 obj
( Typing)
endobj
44 0 obj
<< /S /GoTo /D (subsection.2.3) >>
endobj
47 0 obj
( FTPSL: a theory of finite trees)
endobj
48 0 obj
<< /S /GoTo /D (subsection.2.4) >>
endobj
51 0 obj
(Add some kind of reflection principle)
endobj
52 0 obj
<< /S /GoTo /D (subsection.2.5) >>
endobj
55 0 obj
(Expand the scope of holds)
endobj
56 0 obj
<< /S /GoTo /D (section.3) >>
endobj
59 0 obj
(Conclusions )
endobj
60 0 obj
<< /S /GoTo /D [61 0 R /Fit ] >>
endobj
63 0 obj <<
/Length 2511
/Filter /FlateDecode
>>
stream
xڝˎ����|��a?��!�A6kc� 9��@Q-������ק^MQ�"vWWWWZ��JV�x���}����?�l��X��]=VE�\�R�c�d��-��Tm�~pM�]�ޘDG���pr8P��]otU�����4r���([��5��k������d�|��+|�����V�R*.�[�le&N�ZmL
l��'_��S�j��w�o�w<��:WQ[�pC>����?������,�䗲��3v�̪H�D��F��n���ܮˎve��:Qr����)�a�2'Ʈ66�a�Q ��Bζ,d���a "�A;��a�vNd�]�$.�B�y 1lP�xoU:�s�e���в��Wel Nȝ{˘�DKwU�.���y4���$c������a�
A�����s�ZFa�4�ԣ0B[���D�v��*ڐ�.��[+��Cv��uO ��õ��<���EC��D��4���;��ƃe6e���x�I��d#ǻ��m�
?NNy�ÉWYO Ba��2�"Wk,�D ��c��MI��FTppeEP{�T��(�]`j��,r<N�x<�n�r�#ݎp���;�EfDk=�<f��%%�{��DF堮n���Gl"���,8�?_j��'=9����{���%��=O�� 69�
������'E5K���
�(�<�[�t���[��
��1���������q�K�0%���BG� ��th ���x�];�H\0{�'�On
C6��K�m�K�a���1��Wi�ޘ]L$U&���@���`6�570�U�<� c���o��р�xkę(g�3����P��RNq����yd�,b jx��:☨Y���2����Tq&D1�j�:��N�v�b��Lrq�"ߦ��
+d>�D�·i�:�9vYJ����q�H����/:'ɀ�k����4��l4~����p����6)2RP�Gk� #��GC� ��^֨t\�L�c�����x�,ߡ
��{�f�Щ�:Wcm�H���I�� �=��[o��T[9�>g�2���#����i���Y�p�4�1ʾw]��Q#����j$d�NN3?�jLK��(�A����́�m2GV:ί���$ɒ ��&���*�<Z��uI^
��2XbP%6N��&�^�9��O�F]�F����.��+
�\Έ�.s*H�%��6q�~�e9 ��c���nLV�ƨ�� n� 4],��Σ
Y�3
�Ϯlʂ�w88��ִ����f�:Wcl�X�>U�2zm/������S<-�3rY��'�����B������얼�ˀ�QEG�D�t%u�����;Q�"i,i.�cS��ܒ��x�%].�e�/�f����?���6�X�C���'N������`v�VG��-p`�G�i1b^����|=�<C9/K��B"��`�n��n('����X���!��0�Č%(}q2[�.�peG�6/�u��{b^\�%��*K��'J�� �q��[}��J�����O�$���o � ���Y��ae�#��w=�~�s�B�[;�_�`W+���b�66i~����v�B�Z^��$�y�s�=^
��*B�K���ҁ�/��2 � �� J94���)���]�ħa�D���~�>�88�JdGt )g��_.��&� ��������}�o�;4V+B�h������-QI�4�~�b�����.�|hXem�g-���^��I��Fy".�Xo��/I~��V�P�m$� ��6�+ݓlZFٍ�6^X�(��WC�r�Q|��WKu~�(��y8�����"q
a�)·�O?����
f��8�Y�%�"_��
A���L�H��Fu{�`�K�}}�y���Ԇ��2��*//��(��ʱww��cܤK�}.K�p:lV�Ι e�����b/�V0��W���o��{�4�o� r�D�
��"EHL���M��-
�)��&��r��7�&?�!u�ⓒ��y2]$�R���]ú�o���D�l�r�$�O5v�X�xW��}p\a���%�R%r\�(����~y�Ҙ�-]�*B��mC
�9�E?��CD:_��~�(��an*��)����=1p.-�S� ������/�hG��S�_ȵ�)�z3���9s�G�]�S�ap�,^�{�3�;�Y'� z��6�z8=�R9�홬��ڳ�_�L|s{t��V:�Ȳ1 6�`*� ��O�g�!�Pq�"r\��v^�q@]d3G��T<q�KN~�b�l�A}8���wz�����AS��aB�R9�9պ��&q<U�� �y@z#bXb,>�P����w"F��=Q�=��Ⴭ<SBn8v��-���V^4�i2�uPLyz��9����8K�L��xM��[n__܌*��F�A���Xq �C��%���mr/M�t�lj/Lq�&K��������䀖:�鯩���f˛��np���濿���
endstream
endobj
61 0 obj <<
/Type /Page
/Contents 63 0 R
/Resources 62 0 R
/MediaBox [0 0 612 792]
/Parent 73 0 R
>> endobj
64 0 obj <<
/D [61 0 R /XYZ 90.801 734.821 null]
>> endobj
65 0 obj <<
/D [61 0 R /XYZ 91.801 696.959 null]
>> endobj
5 0 obj <<
/D [61 0 R /XYZ 91.801 550.817 null]
>> endobj
62 0 obj <<
/Font << /F17 66 0 R /F18 67 0 R /F37 68 0 R /F15 69 0 R /F38 70 0 R /F40 71 0 R /F44 72 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
76 0 obj <<
/Length 2548
/Filter /FlateDecode
>>
stream
xڕYK���
�ϯPr� ۲Jo���a�6⬓����=hZ5݂��X�ݙ�K����U"�"���Wաw�B�7�>�q��&�L�ai��G�4A/+2���N��.*"�anډ��?�� �ǡ?�?-������
!Uu5x�~cr�ړ~N3��~j��v���E^���z���O���q�qR�J��o s��4(��I|� ��쬙���h:6��Ϭ�җ��xZo�(���ۙ8HI)��+&�����7�kzMs��IC̆7�-~�jA���#ě4�L���y@dk�:��d�qni8ɸ�����x�q��E'ӉƞW��B�5�_,�-��岤^9�s�"����<�؎�M-S����o�͇�$��m_n��o���������wvq� �z������U/�oca�q���NF���:|�(H��s"�$t����7���g<S$A�%^��A�F�t�c���$�A\�g=y�DP��� �.ՙ��8���4�֧A=gk;n�xb�$K���4�ZJDI�(PM��{yf~�5o�E���5o�7N���LҜ�!��T�
�N�Ǧ;@��@�<(��Iʠp)�B�U-H��'&W�h9�x�4�TUF��>�8�'|G���غ�g���|8�],�Ea5�����N���o��,(�l#Ȣ"�Q3���R2
9��A.<V�� L=�tI<tJvQ����
e:>y8�:��`?1���l�\!8�%!�.��L�I���Y�n���b'�Vr�M2�5����]DI&���2�wi�w���/G�����G�/��;Ytj��.%yb�Q}j�ag)�4P�O)��\F�
RG :,��
iƭ������d�K��˃2���YN�2Jk�Z[YxQgH,�VR�VB�N�߷�1&HM�猉6�I���\��..� ,J�͈T*P��h7�2���g!;��M"��d"���mzj�3�wh2���<V5�����v��������jG��� �p,���hx��a���%�k��k���4�� C�p,�bV[��y{�\�Ì�� U�=K����a?�^��R����r���ر�`S{��H��z��U�̶'�;^���H}ϗV��O'�a�e9W�x��u��i��2�HZD�o�D�2k;02 �h�J��s"�d���(��S����x����w�
�6
�@�2tI�'��pG��j�H��,�����ص4� �<�9�07���}�.<�P"/m:ا� �:��ȶ<�k������6�.!�VD����L�KL��kL�eꉕ̈�D��'�P��8��?����C�-���{��,$��@�&D�㌰���3k8��rI��(��i�+v��@y�nL�`1�S��LO4}݃"a��kT:��'+�sU����g� u���S�о`N�BQ���2�ō�O�n�t&{��;Th�"����N�ShLGl�",�Pr謣�i�>�5�d6�H�b��#����a�(j{�1 �e8!o
�T��S�����}9��L�6� �1�D6�5z͕��'`VMda�K�d�Ukե��| �SU[|ʍ��p:��c�6�f�`D`��o�,����ݥ(�<p��\%�� 5����>