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
- Tomoyuki Yamakami. Polynomial games and determinacy, Annals of pure and applied logic, vol. 80 (1996), pp. 1–16.. 64:913-913. 1999
- 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
- The definability of E(α). 49:437-442. 1984
- Dag Normann. Degrees of functionals. Annals of mathematical logic, vol. 16 (1979), pp. 269–304.. 48:212-213. 1983
- Dag Normann. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 251–264.. 47:902-902. 1982
- 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