Related papers: Separation for isometric group actions and hyperim…

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

This paper deals with the analytic continuation of holomorphic automorphic forms on a Lie group $G$. We prove that for any discrete subgroup $\Gamma$ of $G$ there always exists a non-trivial holomorphic automorphic form, i.e., there exists…

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…

Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for a certain independence relation called…

Let $M$ be a complete K\"{a}hler manifold, whose universal covering is biholomorphic to a ball $\mathbb B^m(R_0)$ in $\mathbb C^m$ ($0<R_0\le +\infty$). Our first aim in this paper is to study the algebraic dependence problem of…

We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

In metric-affine gravity, both the gravitational and matter actions depend not just on the metric, but also on the independent affine connection. Thus matter can be modeled as a hyperfluid, characterized by both the energy-momentum and…

We define a simple criterion for a homogeneous, complete metric structure $X$ that implies that the automorphism group $\mbox{Aut}(X)$ satisfies all the main consequences of the existence of ample generics: it has the small index property,…

Let $n$ be a positive integer. We introduce a concept, which we call the $n$-filling property, for an action of a group on a separable unital $C^*$-algebra $A$. If $A=C(\Omega)$ is a commutative unital $C^*$-algebra and the action is…

For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…

Classically, Gohberg-type Lemmas provide lower bounds for the distance of suitable pseudodifferential operators acting in a Hilbert space to the ideal of compact operators, in terms of "the behavior of the symbol at infinity". In this…

We investigate whether the group algebra of a finite group over a localisation of the integers is semiperfect. The main result is a necessary and sufficient arithmetic criterion in the ordinary case. In the modular case, we propose a…

In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice $L$. These notions prove to have a good behavior when $L$ is a co-Heyting algebra. In this case the codimension gives rise…

We prove mean and pointwise ergodic theorems for the action of a discrete lattice subgroup in a connected algebraic Lie group, on infinite volume homogeneous algebraic varieties. Under suitable necessary conditions, our results are…

We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use model theoretic techniques and games to show that separation…

In this work we introduce a notion of independence based on finite-state automata: two infinite words are independent if no one helps to compress the other using one-to-one finite-state transducers with auxiliary input. We prove that, as…

We study two subspace systems in a separable infinite-dimensional Hilbert space up to (bounded) isomorphism. One of the main result of this paper is the following: Isomorphism classes of two subspace systems given by graphs of bounded…

In this article we introduce a dual of the uniform boundedness principle which does not require completeness and gives an indirect means for testing the boundedness of a set. The dual principle, although known to the analyst and despite its…

Given a C*-algebra $A$, a discrete abelian group $X$ and a homomorphism $\Theta: X\to$ Out$A$ defining the dual action group $\Gamma\subset$ aut$A$, the paper contains results on existence and characterization of Hilbert $\{A,\Gamma\}$,…