publication venue for
- Omitting types and AF algebras. 53:157-169. 2014
- Proving properties of matrices over $${\mathbb{Z}_{2}}$$. 51:535-551. 2012
- Weak theories of linear algebra. 44:195-208. 2005
- Matrix identities and the pigeonhole principle. 43:351-357. 2004
- 1-based theories ? the main gap fora-models. 34:285-300. 1995
- The strength of some Martin-L�f type theories. 33:347-385. 1994