Neil Thapen Structures interpretable in models of bounded arithmetic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2005, v:136, n:3, pp:247-266 [Journal]
Alexandra Shlapentokh First-order definitions of rational functions and s-integers over holomorphy rings of algebraic functions of characteristic 0. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2005, v:136, n:3, pp:267-283 [Journal]