35 citations · 35 across the 2 of their papers we have counts for
4 papers
Existentially Closed Exponential Fields
Levon Haykazyan, Jonathan Kirby
We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amal…
Higher amalgamation properties in stable theories
David M. Evans, Jonathan Kirby, Tim Zander
For a complete, stable theory we construct, in a reasonably canonical way, a related stable theory which has higher independent amalgamation properties over the algebraic…
Variants of Schanuel's conjecture
Jonathan Kirby
This is a collection of variants of Schanuel's conjecture and the known dependencies between them. It was originally written in 2007, and made available for a time on my webpage. I…
The theory of the exponential differential equations of semiabelian varieties
Jonathan Kirby
The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-wit…