https://cordis.europa.eu/project/id/101087910/it
Sharply o-minimal Structures: towards a theory of arithmetically tame geometry | SharpOS | Progetto...
"O-minimality is a model-theoretic formalism of tame geometry. Sets that are definable in o-minimal structures enjoy strong finiteness properties, such as the...