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

DOI10.1215/00294527-2143844zbMATH Open1345.03070arXiv1006.0894OpenAlexW2076349653MaRDI QIDQ372627FDOQ372627

Jonathan Kirby

Publication date: 9 October 2013

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1006.0894

zbMATH Keywords

abstract elementary classfirst-order theoryexponential fieldspseudo-exponentiationSchanuel property

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Abstract elementary classes and related topics (03C48) Model theory of fields (12L12)

Cites Work

• Independence in finitary abstract elementary classes
• Abstract elementary classes and infinitary logics
• Exponential algebraicity in exponential fields
• Exponentially closed fields and the conjecture on intersections with tori
• COVERS OF THE MULTIPLICATIVE GROUP OF AN ALGEBRAICALLY CLOSED FIELD OF CHARACTERISTIC ZERO
• Pseudo-exponentiation on algebraically closed fields of characteristic zero

Cited In (10)

• Adequate predimension inequalities in differential fields
• Computable categoricity for pseudo-exponential fields of \(\aleph_1\)
• Abstract elementary classes stable in \(\aleph_{0}\)
• A remark on Zilber's pseudoexponentiation
• A pseudoexponential-like structure on the algebraic numbers
• Structural logic and abstract elementary classes with intersections
• Involutions on Zilber fields
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Exponentially closed fields and the conjecture on intersections with tori
• Shelah's eventual categoricity conjecture in universal classes. I.

This page was built for publication: A note on the axioms for Zilber's pseudo-exponential fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q372627)