3 papers
math.LO2023
Dense pairs of rings
Françoise Point
Outside of the framework of geometric theories, we exhibit complete, respectively model-complete theories of rings whose corresponding theory of pairs is complete, respectively mod…
math.LO2023
A decidable expansion of with the independence property
Françoise Point
Let be a finitely generated -module where is an injective endomorphism of the abelian group . We restrict ourselves to a finite automa presentable su…
math.LO2023
On definable groups and D-group in certain fields with a generic derivation
Ya'acov Peterzil, Anand Pillay, Francoise Point
We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. W…