2 papers
math.LO2023
Flexible involutive meadows
Bruno Dinis, Emanuele Bottazzi
We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an idempotent neutrix. We en…
math.LO2022
On definable Skolem functions and trichotomy
Bruno Dinis, Mário J. Edmundo
In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many element…