Related papers: An example of a $P$-minimal structure without defi…

Let \^G be a complex semisimple Lie group, Q a parabolic subgroup and G a real form of \^G. The flag manifold \^G/Q decomposes into finitely many G-orbits; among them there is exactly one orbit of minimal dimension, which is compact. We…

We consider isotropic non lower semicontinuous weighted perimeter functionals defined on partitions of domains in $\mathbb{R}^n$. Besides identifying a condition on the structure of the domain which ensures the existence of minimizing…

The bedrock of persistence theory over a single parameter is decomposition of persistence modules into intervals. In [HLM24], the authors leveraged interval decomposition to produce a cell decomposition of the minimal model of a simply…

In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all…

The sine-Gordon Y-systems and those of the minimal $M_{p,q}+\phi_{13}$ models are determined in a compact form and a correspondence between the rational numbers and a new infinite family of multi-parameter functional equations for the…

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong…

P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for quantum logic what Boolean algebras are for classical logic. P-algebras have type <X, 0, ', .> where 0 is a constant, ' is unary and . is…

In a previous paper, we obtained a cohomological obstruction to the existence of compact manifolds locally modelled on a homogeneous space. In this paper, we give a classification of the semisimple symmetric spaces to which this obstruction…

We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of the third author…

We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, {\em if-then-else} and…

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

We provide estimates for the convolution product of an arbitrary number of "resurgent functions", that is holomorphic germs at the origin of $C$ that admit analytic continuation outside a closed discrete subset of $C$ which is stable under…

Maximal abelian subalgebras of one of the classical real inhomogeneous Lie algebras are constructed, namely those of the pseudoeuclidean Lie algebra e(p,q). Use is made of the semidirect sum structure of e(p,q) with the translations T(p+q)…

Given a weakly o-minimal structure $\mathcal M$ and its o-minimal completion $\bar {\mathcal M}$, we first associate to $\bar {\mathcal M}$ a canonical language and then prove that $Th(\mathcal M)$ determines $Th(\bar {\mathcal M})$. We…

A cell algebra structure is found for a family of generalized Schur algebras previously studied by the author. This cell algebra structure is then used to construct the irreducible representations of these algebras and to determine when the…

We study point-separating function sets that are minimal with respect to the property of being separating. We first show that for a compact space $X$ having a minimal separating function set in $C_p(X)$ is equivalent to having a minimal…

Paragrassmann algebras are given a sesquilinear form for which one subalgebra becomes a Hilbert space known as the Segal-Bargmann space. This Hilbert space as well as the ambient space of the paragrassmann algebra itself are shown to have…

We consider continuous semigroups of analytic functions $\{\Phi_t\}_{t\geq0}$ in the so-called Gordon-Hedenmalm class $\mathcal{G}$, that is, the family of analytic functions $\Phi:\mathbb C_+\to \mathbb C_+$ giving rise to bounded…