Pfaffian sets and o-minimality

P Speissegger - Lecture Notes on O-minimal Structures and Real …, 2012 - Springer
Recent developments in the theory of pfaffian sets are presented from a model-theoretic
point of view. In particular, the current state of affairs for Van den Dries's model …

[PDF][PDF] Definable continuous selections of set-valued maps in o-minimal expansions of the real field

S Sokantika, A Thamrongthanyalak - Bull. Pol. Acad. Sci. Math, 2017 - academia.edu
Let T be a set-valued map from a subset of Rn to Rm. Suppose (R;+,·, T) is o-minimal. We
prove that (1) if for every x∈ Rn, each connected component of T (x) is convex, then T has a …

Connectedness in structures on the real numbers: o-minimality and undecidability

A Dolich, C Miller, A Savatovsky… - The Journal of …, 2022 - cambridge.org
We initiate an investigation of structures on the set of real numbers having the property that
path components of definable sets are definable. All o-minimal structures on have the …

Structure theorems for d-minimal expansions of the real additive ordered group and some consequences

A Savatovsky - 2020 - kops.uni-konstanz.de
Let R be an o-minimal expansion of the real additive ordered group. A dminimal expansion
of R is a structure such that for every definable family of subsets of R of dimension 0, there is …

Defining new linear functions in tame expansions of the real ordered additive group

A Savatovsky - arXiv preprint arXiv:2110.12407, 2021 - arxiv.org
We explore\emph {semibounded} expansions of arbitrary ordered groups; namely,
expansions that do not define a field on the whole universe. We introduce the notion of …

Theorems of the complement

A Fornasiero, T Servi - Lecture Notes on O-Minimal Structures and Real …, 2012 - Springer
This is an expository paper on a Theorem of the Complement, due to Wilkie, and its
generalisations. Wilkie (Sel Math (NS) 5: 397–421, 1999) gave necessary and sufficient …

A Note on Hieronymi's Theorem: Every Definably Complete Structure Is Definably Baire

A Fornasiero - Groups, Modules, and Model Theory-Surveys and …, 2017 - Springer
A Note on Hieronymi’s Theorem: Every Definably Complete Structure Is Definably Baire |
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …

Selection problems in O-minimal structures

S Sokantika - 2017 - digital.car.chula.ac.th
In this dissertation, we improve the Definable Michael's Selection Theorem in o-minimal
expansions of real closed fields. Then applications of this theorem are established; for …