Related papers: Congruence permutability in quasivarieties
A proof of the continuous martingale convergence theorem is provided. It relies on a classical martingale inequality and the almost sure convergence of a uniformly bounded non-negative super-martingale, after a truncation argument.
A derangement is a permutation with no fixed point, and a nonderangement is a permutation with at least one fixed point. There is a one-term recurrence for the number of derangements of $n$ elements, and we describe a bijective proof of…
A quasivariety has the weak ES property when the epimorphisms between its finitely generated members are surjective. A characterization of quasivarieties with the weak ES property is obtained and a method for detecting failures of this…
It is easy to show that a pseudovariety which is reducible with respect to an implicit signature $\sigma$ for the equation $x=y$ can also be defined by $\sigma$-identities. We present several negative examples for the converse using…
We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its…
We prove that small deformations of a projective variety of general type are also projective varieties of general type, with the same plurigenera. Version 2: small changes in first half. Improved version of the second half is now a separate…
Our goal is to provide a survey of some topics in quasiconformal analysis of current interest. We try to emphasize ideas and leave proofs and technicalities aside. Several easily stated open problems are given. Most of the results are joint…
We give a counterexample to a recently conjectured variant of the Penrose inequality.
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in…
A quasispecies is a set of interrelated genotypes that have reached a situation of equilibrium while evolving according to the usual Darwinian principles of selection and mutation. Quasispecies studies invariably assume that it is possible…
The Svenonius theorem describes the (first-order) definability in a structure in terms of permutations preserving the relations of elementary extensions of the structure. In the present paper we prove a version of this theorem using…
Coherence is a familiar concept in physics: It is the driving force behind wavelike phenomena such as the diffraction of light. Moreover, wave-particle duality implies that all quantum objects can exhibit coherence, and this quantum…
In the literature two notions of the word problem for a variety occur. A variety has a decidable word problem if every finitely presented algebra in the variety has a decidable word problem. It has a uniformly decidable word problem if…
A quantum theory of the universe consists of a theory of its quantum dynamics and a theory of its quantum state The theory predicts quantum multiverses in the form of decoherent sets of alternative histories describing the evolution of the…
The purpose of this article is to motivate the study of invariant, and especially conformally invariant, differential pairings. Since a general theory is lacking, this work merely presents some interesting examples of these pairings,…
To determine whether a number is congruent or not is an old and difficult topic and progress is slow. The paper presents a new theorem when a prime number is a congruent number or not. The proof is not necessarily any simpler or shorter…
We generalize the result about the congruence subgroup property for GGS-groups to the family of multi-GGS-groups; that is, all multi-GGS-groups except the one defined by the constant vector have the congruence subgroup property. Even if the…
Quantifying coherence is an essential endeavour for both quantum foundations and quantum technologies. Here the robustness of coherence is defined and proven a full monotone in the context of the recently introduced resource theories of…
We consider quasiconformal deformations of $\mathbb{C}\setminus\mathbb{Z}$. We give some criteria for infinitely often punctured planes to be quasiconformally equivalent to $\mathbb{C}\setminus\mathbb{Z}$. In particular, we characterize the…
Quantum coherence quantifies the amount of superposition in a quantum system, and is the reason and resource behind several phenomena and technologies. It depends on the natural basis in which the quantum state of the system is expressed,…