Related papers: A Note on Strongly Mixing Extensions
We prove some analogues of Schur's lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf{T}$ be a neutral Tannakian category over a field of characteristic zero. Let $E$ be an extension of $A$ by $B$ in…
Arnol'd and Kochergin mixing conservative flows on surfaces stand as the main and almost only natural class of mixing transformations for which higher order mixing has not been established, nor disproved. Under suitable arithmetic…
We construct strongly mixing invariant measures with full support for operators on F-spaces which satisfy the Frequent Hypercyclicity Criterion. For unilateral backward shifts on sequence spaces, a slight modification shows that one can…
Definable subcategories may be extended along a ring homomorphism directly, by using their defining conditions in the new module category, or by tensoring up with the new ring. We investigate what is preserved and reflected by these…
We prove that any strongly mixing action of a countable abelian group on a probability space has higher order mixing properties. This is achieved via introducing and utilizing $\mathcal R$-limits, a notion of convergence which is based on…
Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised…
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…
We provide a geometric condition that guarantees strong Wilf equivalence in the generalized factor order. This provides a powerful tool for proving specific and general Wilf equivalence results, and several such examples are given.
We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that…
We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of…
Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories of the category of preordered monoids are functorially related between them as well as with the…
We show that the extension types occurring in Riehl--Shulman's work on synthetic $(\infty,1)$-categories can be interpreted in the intended semantics in a way so that they are strictly stable under substitution. The splitting method used…
Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in…
For a slim, planar, semimodular lattice, G. Cz\'edli and E.\,T. Schmidt introduced the fork extension in 2012. In this note we prove that the fork extension has the Congruence Extension Property. This paper has been merged with Part II,…
Recently, Glasner, Lin and Meyerovitch gave a first example of a partial invariant order on a certain group that cannot be invariantly extended to an invariant random total order. Using their result as a starting point we prove that any…
A set of necessary and sufficient conditions under which an isotone mapping from a subset of a poset X to a poset Y has an extension to an isotone mapping from X to Y are found.
We give a simple alternative proof for the $C^{1,1}$--convex extension problem which has been introduced and studied by D. Azagra and C. Mudarra [2]. As an application, we obtain an easy constructive proof for the Glaeser-Whitney problem of…
We generalise a construction of mixed Beauville groups first given by Bauer, Catanese and Grunewald. We go on to give several examples of infinite families of characteristically simple groups that satisfy the hypotheses of our theorem and…
A continuous action of a group G on a compact metric space has sensitive dependence on initial conditions if there is a number e>0 such that for any open set U we can find g in G such that g.U has diameter greater than e. We prove that if a…
If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…