相关论文: Distal expansions of Presburger arithmetic by a sp…

So far, it is not well known how to deal with dissipative systems. There are many paths of investigation in the literature and none of them present a systematic and general procedure to tackle the problem. On the other hand, it is well…

Expansions of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N} ; < \rangle$ have been a fertile and active area of research ever since the publication of the seminal papers of B\"uchi and Elgot & Rabin on the…

We prove that the $Z$-spaces $Z^{p,q}_s$ form a complex interpolation scale for all $0 < p,q \leq \infty$ and $s \in \mathbb{R}$, filling a gap in recent work with Pascal Auscher.

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Let $\mathcal{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$. Then $\mathcal{R}$ is generically locally o-minimal. It follows that if…

Let $A$ and $(-\widetilde{A})$ be dissipative operators on a Hilbert space $\mathcal{H}$ and let $(A,\widetilde{A})$ form a dual pair, i.e. $A\subset\widetilde{A}^*$, resp.\ $\widetilde{A}\subset A^*$. We present a method of determining the…

In this article we study exponential dichotomies for noninvertible linear difference equations in finite dimensions. After giving the definition, we study the extent to which the projection $P(k)$ in a dichotomy is unique. For equations on…

We study extensions of Sem\"enov arithmetic, the first-order theory of the structure $(\mathbb{N}, +, 2^x)$. It is well-knonw that this theory becomes undecidable when extended with regular predicates over tuples of number strings, such as…

We study expansions of the Weak Monadic Second Order theory of (N,<) by cardinality relations, which are predicates R(X1,...,Xn) whose truth value depends only on the cardinality of the sets X1, ...,Xn. We first provide a (definable)…

We show that the fractonic dipole-conserving algebra can be obtained as an Aristotelian (and pseudo-Carrollian) contraction of the Poincar\'e algebra in one dimension higher. Such contraction allows to obtain fracton electrodynamics from a…

A dilatation structure on a metric space, arXiv:math/0608536v4, is a notion in between a group and a differential structure, accounting for the approximate self-similarity of the metric space. The basic objects of a dilatation structure are…

The displacement calculus $\mathbf{D}$ is a conservative extension of the Lambek calculus $\mathbf{L1}$ (with empty antecedents allowed in sequents). $\mathbf{L1}$ can be said to be the logic of concatenation, while $\mathbf{D}$ can be said…

Despite extensive research on distance oracles, there are still large gaps between the best constructions for spanners and distance oracles. Notably, there exist sparse spanners with a multiplicative stretch of $1+\varepsilon$ plus some…

Let $b \ge 2$ be an integer. We prove that the $b$-adic expansion of every irrational algebraic number cannot have low complexity. Furthermore, we establish that irrational morphic numbers are transcendental, for a wide class of morphisms.…

We investigate a class of algebras on $\mathbb{R}^3$ arising and generalized from the algebraic structure of magnetic gradient fields induced by systems of synchronous magnets with identical dipole moments (i.e.,…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

We will pursue a way of building up an algebraic structure that involves, in a mathematical abstract way, the well known Grassmann variables. The problem arises when we tried to understand the grassmannian polynomial expansion on the scope…

It is well known that real numbers with a purely periodic decimal expansion are the rationals having, when reduced, a denominator coprime with 10. The aim of this paper is to extend this result to beta-expansions with a Pisot base beta…

Let $(\mathcal{G},\nu)$ be a $t$-discrete ergodic groupoid. Consider a finite Von Neumann algebra $\mathcal{M}$ with separable predual. We prove that every uniformly bounded measurable representation $\rho:\mathcal{G} \rightarrow…

We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on $p$-adic subanalytic sets, and we continue the study of non-archimedean fields with…