
51Invariance results for definable extensions of groupsArchive for Mathematical Logic 50 (12): 1931. 2011.We show that in an ominimal expansion of an ordered group finite definable extensions of a definable group which is defined in a reduct are already defined in the reduct. A similar result is proved for finite topological extensions of definable groups defined in ominimal expansions of the ordered set of real numbers

31On the decidability of the real field with a generic power functionJournal of Symbolic Logic 76 (4): 14181428. 2011.We show that the theory of the real field with a generic real power function is decidable, relative to an oracle for the rational cut of the exponent of the power function. We also show the existence of generic computable real numbers, hence providing an example of a decidable ominimal proper expansion of the real field by an analytic function

31Sheaf cohomology in ominimal structuresJournal of Mathematical Logic 6 (2): 163179. 2006.Here we prove the existence of sheaf cohomology theory in arbitrary ominimal structures.