Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function f:0,1→0,1 is r-
regular if there is a B u chi automaton that accepts precisely the set of base r∈N …

Let $\mathscr {R} $ be an $\mathrm {NIP} $ expansion of $(\mathbb {R},<,+) $ by closed
subsets of $\mathbb {R}^ n $ and continuous functions $ f:\mathbb {R}^ m\to\mathbb {R}^ n …

Metric dimensions and tameness in expansions of the real field Page 1 TRANSACTIONS OF
THE AMERICAN MATHEMATICAL SOCIETY Volume 373, Number 2, February 2020, Pages …

Observation: Type C⇒ No model-theoretic tameness. Observation: O-minimality⇒ Type A.
Observation: NTP2⇒ Type A. Observation: Type B interprets (N, P (N),+ 1,∈), can be …

Let R be an expansion of the ordered real additive group. When R is o-minimal, it is known
that either R defines an ordered field isomorphic to (R,<,+,·) on some open subinterval I⊆ R …

In this paper, a double closed-loop trajectory tracking control system with inner and outer
loop structure is designed for a two-wheeled mobile robot, where the outer loop is the …

We determine the sets definable in expansions of the ordered real additive group by
generalized Cantor sets. Given a natural number $ r\geq 3$, we say a set $ C $ is a …

We study the logical properties of infinite geometric random graphs, introduced by Bonato
and Janssen. These are graphs whose vertex set is a dense``generic''subset of a metric …

Fractals and the monadic second order theory of one successor 1 Introduction Page 1 Journal
of Logic & Analysis 15:5 (2023) 1–25 ISSN 1759-9008 1 Fractals and the monadic second order …

Dimensional coincidence does not imply measure-theoretic tamenessOnline logo sign_in Unia
Europejska A+ CATEGORY SCIENTIFIC UNIT Institute About us Directory Board …