12 citations · 63 across the 29 of their papers we have counts for
7 papers · 1 filter
Directed sets and topological spaces definable in o-minimal structures
Pablo Andujar Guerrero, Margaret E. M. Thomas, Erik Walsberg
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expan…
An NIP structure which does not interpret an infinite group but whose Shelah expansion interprets an infinite field
Erik Walsberg
We describe one.
Externally definable quotients and NIP expansions of the real ordered additive group
Erik Walsberg
Let be an expansion of by closed subsets of and continuous functions . Then $\math…
Dp and other minimalities
Pierre Simon, Erik Walsberg
A first order expansion of is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, -adic fields, ord…
Dp-minimal expansions of discrete ordered abelian groups
Erik Walsberg
If is a dp-minimal expansion of a discrete ordered abelian group and does not admit a nontrivial definable convex subgroup then …
Coarse dimension and definable sets in expansions of the ordered real vector space
Erik Walsberg
Suppose is nowhere dense. If does not define every bounded Borel subset of every the…
Continuous Regular Functions
Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan +5
Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function is -regular if there is a Büchi automaton that accepts precisely the set of base $r…