publication venue for
- SOME RESULTS ON THE K-PROVABILITY PROBLEM 1988
- AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS 1986
- CLASSIFYING SPACES AND THE LASCAR GROUP. 86:1396-1431. 2021
- DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS. 85:539-562. 2020
- 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
- On the type-definability of the binding group in simple theories. 70:379-388. 2005
- Pfaffian differential equations over exponential o-minimal structures. 67:438-448. 2002
- Unique decomposition in classifiable theories. 67:61-68. 2002
- Coordinatisation and canonical bases in simple theories. 65:293-309. 2000
- A Note on a-Prime Models. 64:1557-1562. 1999
- 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
- Relational semantics and a relational proof system for full Lambek calculus. 63:623-637. 1998
- A version of o-minimality for the p-adics. 62:1075-1092. 1997
- Addendum to “A structure theorem for strongly abelian varieties”. 58:1419-1425. 1993
- 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 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
- A proof of morley's conjecture. 54:1346-1358. 1989
- The classification of excellent classes. 54:1359-1381. 1989
- On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes. 53:1177-1187. 1988
- 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