Switch to: References

Add citations

You must login to add citations.
  1. Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
    In this paper, we prove that a pseudo-exponential field has continuum many nonisomorphic countable real closed exponential subfields, each with an order-preserving exponential map which is surjective onto the nonnegative elements. Indeed, this is true of any algebraically closed exponential field satisfying Schanuel’s conjecture.
    Download  
     
    Export citation  
     
    Bookmark  
  • Turing meets Schanuel.Angus Macintyre - 2016 - Annals of Pure and Applied Logic 167 (10):901-938.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Model theory of analytic functions: some historical comments.Deirdre Haskell - 2012 - Bulletin of Symbolic Logic 18 (3):368-381.
    Model theorists have been studying analytic functions since the late 1970s. Highlights include the seminal work of Denef and van den Dries on the theory of the p-adics with restricted analytic functions, Wilkie's proof of o-minimality of the theory of the reals with the exponential function, and the formulation of Zilber's conjecture for the complex exponential. My goal in this talk is to survey these main developments and to reflect on today's open problems, in particular for theories of valued fields.
    Download  
     
    Export citation  
     
    Bookmark  
  • Exponentially closed fields and the conjecture on intersections with tori.Jonathan Kirby & Boris Zilber - 2014 - Annals of Pure and Applied Logic 165 (11):1680-1706.
    We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the Diophantine conjecture CIT on atypical intersections of tori with subvarieties is true.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A pseudoexponential-like structure on the algebraic numbers.Vincenzo Mantova - 2015 - Journal of Symbolic Logic 80 (4):1339-1347.
    Download  
     
    Export citation  
     
    Bookmark   1 citation