29a30,35
> \bibitem[vdD98]{vdD-omin}
> L.~van~den Dries.
> \newblock {\em Tame topology and o-minimal structures}, volume 248 of {\em
>   London Mathematical Society Lecture Note Series}.
> \newblock Cambridge University Press, Cambridge, 1998.
> 
54a61,65
> \bibitem[MMS00]{MMS-weakOMin}
> Dugald Macpherson, David Marker, and Charles Steinhorn.
> \newblock Weakly o-minimal structures and real closed fields.
> \newblock {\em Trans. Amer. Math. Soc.}, 352(12):5435--5483, 2000.
> 
65,69d75
< \bibitem[MMS00]{MMS-weakOMin}
< Dugald Macpherson, David Marker, and Charles Steinhorn.
< \newblock Weakly o-minimal structures and real closed fields.
< \newblock {\em Trans. Amer. Math. Soc.}, 352(12):5435--5483, 2000.
< 
75,80d80
< \bibitem[OPP96]{OPP-groupsRings}
< Margarita Otero, Ya'acov Peterzil, and Anand Pillay.
< \newblock On groups and rings definable in o-minimal expansions of real closed
<   fields.
< \newblock {\em Bull. London Math. Soc.}, 28(1):7--14, 1996.
< 
87,106c87,91
< \bibitem[Pil88]{P-groupsFieldsOMin}
< Anand Pillay.
< \newblock On groups and fields definable in {$o$}-minimal structures.
< \newblock {\em J. Pure Appl. Algebra}, 53(3):239--255, 1988.
< 
< \bibitem[Pil89]{pillay-fieldsQp}
< Anand Pillay.
< \newblock On fields definable in {${\bf Q}_p$}.
< \newblock {\em Arch. Math. Logic}, 29(1):1--7, 1989.
< 
< \bibitem[Pil04]{Pillay-conjecture}
< Anand Pillay.
< \newblock Type-definability, compact {L}ie groups, and o-minimality.
< \newblock {\em J. Math. Log.}, 4(2):147--162, 2004.
< 
< \bibitem[Poi88]{poizat-BT}
< Bruno Poizat.
< \newblock M{M}. {B}orel, {T}its, {Z}il{'}ber et le {G}\'{e}n\'{e}ral
<   {N}onsense.
< \newblock {\em J. Symbolic Logic}, 53(1):124--131, 1988.
---
> \bibitem[OPP96]{OPP-groupsRings}
> Margarita Otero, Ya'acov Peterzil, and Anand Pillay.
> \newblock On groups and rings definable in o-minimal expansions of real closed
>   fields.
> \newblock {\em Bull. London Math. Soc.}, 28(1):7--14, 1996.
128,132c113,132
< \bibitem[vdD98]{vdD-omin}
< L.~van~den Dries.
< \newblock {\em Tame topology and o-minimal structures}, volume 248 of {\em
<   London Mathematical Society Lecture Note Series}.
< \newblock Cambridge University Press, Cambridge, 1998.
---
> \bibitem[Pil88]{P-groupsFieldsOMin}
> Anand Pillay.
> \newblock On groups and fields definable in {$o$}-minimal structures.
> \newblock {\em J. Pure Appl. Algebra}, 53(3):239--255, 1988.
> 
> \bibitem[Pil89]{pillay-fieldsQp}
> Anand Pillay.
> \newblock On fields definable in {${\bf Q}_p$}.
> \newblock {\em Arch. Math. Logic}, 29(1):1--7, 1989.
> 
> \bibitem[Pil04]{Pillay-conjecture}
> Anand Pillay.
> \newblock Type-definability, compact {L}ie groups, and o-minimality.
> \newblock {\em J. Math. Log.}, 4(2):147--162, 2004.
> 
> \bibitem[Poi88]{poizat-BT}
> Bruno Poizat.
> \newblock M{M}. {B}orel, {T}its, {Z}il{'}ber et le {G}\'{e}n\'{e}ral
>   {N}onsense.
> \newblock {\em J. Symbolic Logic}, 53(1):124--131, 1988.