HomePublications

A note on the axioms for Zilber's pseudo-exponential fields

Research output: Contribution to journalArticle

Open Access permissions

Open

Documents

  • nape2_4

    Accepted author manuscript, 308 KB, PDF document

DOI

Authors

Organisational units

Abstract

We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in pseudo-exponentiation leads to a description of the elementary embeddings, and the result that pseudo-exponential fields are precisely the models of their common first-order theory which are atomic over exponential transcendence bases. We also show that the class of all pseudo-exponential fields is an example of a non-finitary abstract elementary class, answering a question of Kes\"al\"a and Baldwin.

Details

Original languageEnglish
Pages (from-to)509-520
Number of pages12
JournalNotre Dame Journal of Formal Logic
Volume54
Issue number3-4
DOIs
Publication statusPublished - 2013
Peer-reviewedYes

Keywords

    Research areas

  • pseudo-exponentiation, exponential fields, Schanuel property, first-order theory, abstract elementary class

View graph of relations

ID: 678143

Related by author
  1. Existentially closed exponential fields

    Research output: Contribution to journalArticle

  2. Differential Existential Closedness for the j-function

    Research output: Contribution to journalArticle

  3. Blurred Complex Exponentiation

    Research output: Contribution to journalArticle

  4. On local definability of holomorphic functions

    Research output: Contribution to journalArticle

  5. Pseudo-exponential maps, variants, and quasiminimality

    Research output: Contribution to journalArticle

Related by journal
  1. Bounded Martin’s Maximum with an Asterisk

    Research output: Contribution to journalArticle

  2. NP-Completeness of Combinator Optimisation Problem

    Research output: Contribution to journalArticle