Skip to main content

Axiomatizing exponentiation

Posted in
Speaker: 
Jonathan Kirby
Date: 
Tue, 12/06/2012 - 16:30 - 17:30
Location: 
MPIM Lecture Hall

Zilber gave non-first order axioms for an exponential field B with good model-theoretic properties which is conjecturally isomorphic to complex exponentiation. I will explain how the diophantine conjecture CIT allows us to axiomatize the complete first-order theory Th(B), and how the existence of an axiomatization of Th(B) along similar lines implies CIT. This is joint work with Boris Zilber.

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A