Related papers: Distal expansions of Presburger arithmetic by a sp…

We study complex Dirac structures, that is, Dirac structures in the complexified generalized tangent bundle. These include presymplectic foliations, transverse holomorphic structures, CR-related geometries and generalized complex…

Let $G$ be a real reductive Lie group, $L$ a compact subgroup, and $\pi$ an irreducible admissible representation of $G$. In this article we prove a necessary and sufficient condition for the finiteness of the multiplicities of $L$-types…

We define and study expansion problems on countable structures in the setting of descriptive combinatorics. We consider both expansions on countable Borel equivalence relations and on countable groups, in the Borel, measure and category…

This short paper presents a generalisation of Tressl's structure theorem for differentially finitely generated algebras over differential rings of characteristic 0 to the case of separable algebras over differential rings of arbitrary…

Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different…

The existence of higher derivative discontinuous solutions to a first order ordinary differential equation is shown to reveal a nonlinear SL(2,R) structure of analysis in the sense that a real variable $t$ can now accomplish changes not…

A way to add an extra dimension is briefly discussed.

Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…

Let M be a hyperbolizable, nontrivial compression body without toroidal boundary components. In this paper, we characterize which discrete and faithful representations of the fundamental group of M into PSL(2,C) are separable-stable. The…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is ${\cal…

We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of…

String structures have played an important role in algebraic topology, via elliptic genera and elliptic cohomology, in differential geometry, via the study of higher geometric structures, and in physics, via partition functions. We extend…

Let $V$ be a left vector space over a division ring and let ${\mathcal P}(V)$ be the associated projective space. We describe all finite subsets $X\subset V$ such that every permutation on $X$ can be extended to a linear automorphism of $V$…

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

We classify a one-parameter family, $\mathfrak{confcarr}_z(d+1)$, of conformal extensions of the Carroll algebra in arbitrary dimension with $z$ being the anisotropic scaling exponent. We further obtain their infinite-dimensional…

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

We consider the structure $(\mathbb{Z},+,0,|_{p_{1}},\dots,|_{p_{n}})$, where $x|_{p}y$ means $v_{p}(x)\leq v_{p}(y)$ and $v_p$ is the $p$-adic valuation. We prove that its theory has quantifier elimination in the language…

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…

We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is compatible with integration in a way the models that have…