publication venue for
- The proof complexity of linear algebra 2004
- Triviality, NDOP and stable varieties 1993
- Definable principal congruences and solvability. 157:30-49. 2009
- A geometric consequence of residual smallness. 99:137-169. 1999
- Inaccessibility in constructive set theory and type theory. 94:181-200. 1998
- Superstable quasi-varieties. 69:53-71. 1994
- Cell decompositions of C-minimal structures. 66:113-162. 1994
- A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991.. 64:211-240. 1993
- Models with second order properties V: A general principle. 64:169-194. 1993
- A transfer theorem in constructive p-adic algebra. 58:29-55. 1992
- A unification-theoretic method for investigating the k-provability problem. 51:173-214. 1991
- Positive definite functions over regular f-rings and representations as sums of squares. 44:243-257. 1989
- A unification algorithm for second-order monadic terms. 39:131-174. 1988