Related papers: Probably isomorphic structures

Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under…

We show that the Beurling algebra with a weight-dependent convolution and the group algebra $L^1(G)$ are isomorphic. In particular, using this isomorphism, we extend some results of the algebra $\mathscr{L}^1(G,\omega)$ presented in recent…

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

In this note we show that Nambu structures of coorder 1 can always be linearized if they admit a closed integrable differential form. In particular, we show that a unimodular Poisson structure whose isotropy Lie algebra at a singular point…

In their paper on multivariable dynamics, Davidson and Katsoulis conjectured that two multivariable dynamical systems have isomorphic tensor algebras if and only if they are piecewise conjugate. We disprove the conjecture by constructing…

Suppose that M is countable, binary, primitive, homogeneous, and simple, and hence 1-based. We prove that the SU-rank of the complete theory of M is~1. It follows that M is a random structure. The conclusion that M is a random structure…

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…

We give a numerical characterization of mutual orthogonality (that is, complementarity) for subalgebras. In order to give such a characterization for mutually orthogonal subalgebras $A$ and $B$ of the $k \times k$ matrix algebra…

This is a systematic study of isometries between noncommutative symmetric spaces. Let $\mathcal{M}$ be a semifinite von Neumann algebra (or an atomic von Neumann algebra with all atoms having the same trace) acting on a separable Hilbert…

Patterns on numerical semigroups are multivariate linear polynomials, and they are said to be admissible if there exists a numerical semigroup such that evaluated at any nonincreasing sequence of elements of the semigroup gives integers…

Metabelian algebras are introduced and it is shown that an algebra $A$ is metabelian if and only if $A$ is a nilpotent algebra having the index of nilpotency at most $3$, i.e. $x y z t = 0$, for all $x$, $y$, $z$, $t \in A$. We prove that…

A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals…

This paper is concerned with certain generalizations of meagreness and their combinatorial equivalents. The simplest example, and the one which motivated further study in this area, comes about by considering the following definition: a set…

Let M be a von Neumann algebra of type II_1 which is also a complemented subspace of B(H). We establish an algebraic criterion, which ensures that M is an injective von Neumann algebra. As a corollary we show that if M is a complemented…

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…

Let L_1 be the predual of a von Neumann algebra with a finite faithful normal trace. We show that a bounded sequence in L_1 converges to 0 in measure if and only if each of its subsequences admits another subsequence which converges to 0 in…

We consider the orthonormal frame bundle F(M) of a Riemannian manifold M. A construction of Sasaki defines a canonical Riemannian metric on F(M). We prove that for two closed Riemannian n-manifolds M and N, the frame bundles F(M) and F(N)…

Countable $\mathcal{L}$-structures $\mathcal{N}$ whose isomorphism class supports a permutation invariant probability measure in the logic action have been characterized by Ackerman-Freer-Patel to be precisely those $\mathcal{N}$ which have…

Let $V$ be a finite relational vocabulary in which no symbol has arity greater than 2. Let $M$ be countable $V$-structure which is homogeneous, simple and 1-based. The first main result says that if $M$ is, in addition, primitive, then it…

Let $M^n\ (n\geq3)$ be a complete Riemannian manifold with $\sec_M\geq 1$, and let $M_i^{n_i}$ ($i=1,2$) be two comlplete totally geodesic submanifolds in $M$. We prove that if $n_1+n_2=n-2$ and if the distance $|M_1M_2|\geq\frac{\pi}{2}$,…