Related papers: Coset relation algebras
We start an analysis of geometric properties of a structure relative to a reduct. In particular, we look at definability of groups and fields in this context. In the relatively one-based case, every definable group is isogenous to a…
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the…
It was recently shown [2] that the resolvent algebra of a non-relativistic Bose field determines a gauge invariant (particle number preserving) kinematical algebra of observables which is stable under the automorphic action of a large…
Poisson algebra is usually defined to be a commutative algebra together with a Lie bracket, and these operations are required to satisfy the Leibniz rule. We describe Poisson structures in terms of a single bilinear operation. This enables…
A relational structure ${\mathbb X}$ is said to be reversible iff every bijective endomorphism $f:X\rightarrow X$ is an automorphism. We define a sequence of non-zero cardinals $\langle \kappa_i :i\in I\rangle$ to be reversible iff each…
The gauge invariant observables of the closed bosonic string are quantized without anomalies in four space-time dimensions by constructing their quantum algebra in a manifestly covariant approach. The quantum algebra is the kernel of a…
We propose that observables in quantum theory are properly understood as representatives of symmetry-invariant quantities relating one system to another, the latter to be called a reference system. We provide a rigorous mathematical…
In a Hamiltonian system with first class constraints observables can be defined as elements of a quotient Poisson bracket algebra. In the gauge fixing method observables form a quotient Dirac bracket algebra. We show that these two algebras…
The aim of this paper is to introduce the notion of (noncommutative) transposed Poisson conformal algebras, which serve as the conformal analogues of transposed Poisson algebras and admit a rich class of identities. We show that the tensor…
Measure Equivalence (ME) is the measure theoretic counterpart of quasi-isometry. This field grew considerably during the last years, developing tools to distinguish between different ME classes of countable groups. On the other hand,…
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…
We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram…
We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…
A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism.…
Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson…
It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a…
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an…
Recently a new kind of approximation to continuum topological spaces has been introduced, the approximating spaces being partially ordered sets (posets) with a finite or at most a countable number of points. The partial order endows a poset…
Algebraic approach to quantum non - separability is applied to the case of two qubits. It is based on the partition of the algebra of observables into independent subalgebras and the tensor product structure of the Hilbert space is not…
We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…