D-minimal expansions of the real field have the zero set property
C Miller, A Thamrongthanyalak - Proceedings of the American Mathematical …, 2018 - JSTOR
If 𝐸⊆ ℝ𝑛 is closed and the structure (ℝ,+,⋅, 𝐸) is d-minimal (that is, in every structure
elementarily equivalent to (ℝ,+,⋅, 𝐸), every unary definable set is a disjoint union of open …
elementarily equivalent to (ℝ,+,⋅, 𝐸), every unary definable set is a disjoint union of open …
The surjectivity and the continuity of definable functions in some definably complete locally o-minimal expansions and the Grothendieck ring of almost o-minimal …
M Berraho - Rad Hrvatske akademije znanosti i umjetnosti …, 2023 - hrcak.srce.hr
Sažetak In this paper, we first show that in a definably complete locally o-minimal expansion
of an ordered abelian group (M,<,+, 0,...) and for a definable subset X⊆ Mn which is closed …
of an ordered abelian group (M,<,+, 0,...) and for a definable subset X⊆ Mn which is closed …
[PDF][PDF] A dichotomy for type A structures
RM Feller - 2023 - math.uni-bonn.de
Inspired by Zilber's trichotomy conjecture [16], a common theme in model theory has been to
investigate, if non-linear behavior in model-theoretically tame structures leads to definability …
investigate, if non-linear behavior in model-theoretically tame structures leads to definability …
Pseudo-finite sets, pseudo-o-minimality
N Meir - The Journal of Symbolic Logic, 2021 - cambridge.org
We give an example of two ordered structures in the same language with the same universe,
the same order and admitting the same one-variable definable subsets such that is a model …
the same order and admitting the same one-variable definable subsets such that is a model …
Combinatorial and number-theoretic properties of generic reals
W Brian, M Golshani - arXiv preprint arXiv:2102.02676, 2021 - arxiv.org
We discuss some properties of Cohen and random reals. We show that they belong to any
definable partition regular family, and hence they satisfy most" largeness" properties studied …
definable partition regular family, and hence they satisfy most" largeness" properties studied …
Definable groups in topological differential fields
F Point - arXiv preprint arXiv:1707.07881, 2017 - arxiv.org
For certain theories of existentially closed topological differential fields, we show that there is
a strong relationship between $\mathcal L\cup\{D\} $-definable sets and their $\mathcal L …
a strong relationship between $\mathcal L\cup\{D\} $-definable sets and their $\mathcal L …
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 …
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …
[PDF][PDF] Le direzioni della logica in Italia: la teoria dei modelli
ABEC TOFFALORI - 2015 - people.cs.dm.unipi.it
Il XXV incontro dell'Associazione Italiana di Logica e sue applicazioni (AILA), svoltosi a Pisa
presso la Scuola Normale Superiore dal 14 al 17 aprile 2014, ha previsto nella giornata …
presso la Scuola Normale Superiore dal 14 al 17 aprile 2014, ha previsto nella giornata …