publication venue for
- Virtual knot groups and almost classical knots. 238:101-142. 2017
- Existentially closed ${\rm II}_1$ factors. 233:1-24. 2016
- An ordered structure of rank two related to Dulac's Problem. 198:17-60. 2008
- A property of the solvable radical in finitely decidable varieties. 170:69-86. 2001
- Expansions of the real line by open sets: o-minimality and open cores. 162:193-208. 1999
- Effective cofinalities and admissibility in E-recursion. 123:151-161. 1984