%PDF-1.3 % 1 0 obj << /S /GoTo /D (section.1) >> endobj 4 0 obj (1 Introduction) endobj 5 0 obj << /S /GoTo /D (section.2) >> endobj 8 0 obj (2 The Axioms for Pseudo-Exponentiation) endobj 9 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 12 0 obj (2.1 Standard kernel) endobj 13 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 16 0 obj (2.2 The Schanuel property) endobj 17 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 20 0 obj (2.3 Strong exponential-algebraic closedness) endobj 21 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 24 0 obj (2.4 The countable closure property) endobj 25 0 obj << /S /GoTo /D (subsection.2.5) >> endobj 28 0 obj (2.5 The complex exponential field and proof of Theorem 1) endobj 29 0 obj << /S /GoTo /D (subsection.2.6) >> endobj 32 0 obj (2.6 Strong extensions) endobj 33 0 obj << /S /GoTo /D (subsection.2.7) >> endobj 36 0 obj (2.7 Lomega1,omega-theory) endobj 37 0 obj << /S /GoTo /D (subsection.2.8) >> endobj 40 0 obj (2.8 Necessity of Q and proof of Theorem 2) endobj 41 0 obj << /S /GoTo /D (section.3) >> endobj 44 0 obj (3 The First-Order Theory and Elementary Embeddings) endobj 45 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 48 0 obj (3.1 The exponentially transcendental type) endobj 49 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 52 0 obj (3.2 Nonisolation of the exponentially transcendental type) endobj 53 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 56 0 obj (3.3 Isolated types) endobj 57 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 60 0 obj (3.4 Elementary equivalence) endobj 61 0 obj << /S /GoTo /D (subsection.3.5) >> endobj 64 0 obj (3.5 Atomic models and proof of Theorem 4) endobj 65 0 obj << /S /GoTo /D (subsection.3.6) >> endobj 68 0 obj (3.6 Elementary embeddings and the end of the proof of Theorem 3) endobj 69 0 obj << /S /GoTo /D (section*.2) >> endobj 72 0 obj (References) endobj 73 0 obj << /S /GoTo /D (section*.4) >> endobj 76 0 obj (Acknowledgment) endobj 77 0 obj << /S /GoTo /D (section*.5) >> endobj 80 0 obj (Author's addresses) endobj 81 0 obj << /S /GoTo /D [82 0 R /FitBH ] >> endobj 91 0 obj << /Length 2378 /Filter /FlateDecode >> stream xYY6~PBUY4qHl'N9xvj