publication venue for
- FRAÏSSÉ LIMITS OF C*-ALGEBRAS. 81:755-773. 2016
- The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion. 78:1000-1004. 2013
- Unexpected imaginaries in valued fields with analytic structure . 78:523-542. 2013
- Expansions of the real field by open sets: definability versus interpretability . 75:1311-1325. 2010
- Pfaffian differential equations over exponential o-minimal structures . 67:438-448. 2002
- A note on valuation definable expansions of fields . 63:739-743. 1998
- A version of o-minimality for the p-adics . 62:1075-1092. 1997
- Decidable discriminator varieties from unary varieties . 56:1355-1368. 1991
- A STRUCTURE THEOREM FOR STRONGLY ABELIAN-VARIETIES WITH FEW MODELS. 56:832-852. 1991
- A partial functions version of Church's simple theory of types . 55:1269-1291. 1990
- SOME RESULTS ON THE K-PROVABILITY PROBLEM 1988
- AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS 1986
- ORGANIC AND INORGANIC LOGIC AND FOUNDATIONS OF MATHEMATICS 1978