Locally o-minimal structures and structures with locally o-minimal open core
A Fornasiero - Annals of Pure and Applied Logic, 2013 - Elsevier
We study first-order expansions of ordered fields that are definably complete, and moreover
either are locally o-minimal, or have a locally o-minimal open core. We give a …
either are locally o-minimal, or have a locally o-minimal open core. We give a …
Wild theories with o-minimal open core
P Hieronymi, T Nell, E Walsberg - Annals of Pure and Applied Logic, 2018 - Elsevier
Let T be a consistent o-minimal theory extending the theory of densely ordered groups and
let T′ be a consistent theory. Then there is a complete theory T⁎ extending T such that T is …
let T′ be a consistent theory. Then there is a complete theory T⁎ extending T such that T is …
Characterizing o-minimal groups in tame expansions of o-minimal structures
PE Eleftheriou - Journal of the Institute of Mathematics of Jussieu, 2021 - cambridge.org
We establish the first global results for groups definable in tame expansions of o-minimal
structures. Let be an expansion of an o-minimal structure that admits a good dimension …
structures. Let be an expansion of an o-minimal structure that admits a good dimension …
Groups definable in two orthogonal sorts
A Berarducci, M Mamino - Israel Journal of Mathematics, 2015 - Springer
This work can be thought of as a contribution to the model theory of group extensions. We
study the groups G which are interpretable in the disjoint union of two structures (seen as a …
study the groups G which are interpretable in the disjoint union of two structures (seen as a …
[HTML][HTML] Expansions of real closed fields that introduce no new smooth functions
PE Eleftheriou, A Savatovsky - Annals of Pure and Applied Logic, 2020 - Elsevier
We prove the following theorem: let R˜ be an expansion of the real field R‾, such that every
definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a …
definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a …
One Lie group to define them all
A Conversano, M Mamino - Notre Dame Journal of Formal Logic, 2022 - projecteuclid.org
One Lie Group to Define Them All Page 1 Notre Dame Journal of Formal Logic Volume 63,
Number 1, 2022 One Lie Group to Define Them All Annalisa Conversano and Marcello Mamino …
Number 1, 2022 One Lie Group to Define Them All Annalisa Conversano and Marcello Mamino …