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-832. 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