Related papers: Neat atom structures
We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras…
We study relationships between certain algebraic properties of groups and rings definable in a first order structure or $*$-closed in a compact $G$-space. As a consequence, we obtain a few structural results about $\omega$-categorical rings…
We offer a criterion for showing that the automorphism group of an ultrahomogeneous structure is topologically 2-generated and even has a cyclically dense conjugacy class. We then show how finite topological rank of the automorphism group…
We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the existence of syntactic algebras. Finally, we give a more…
Two structures $M, N$ in the same language are called probably isomorphic if they (or, in case of metric structures, their completions) are isomorphic after forcing with the Lebesgue measure algebra. We show that, if $M$ and $N$ are…
While every polyadic algebra ($\PA$) of dimension 2 is representable, we show that not every atomic polyadic algebra of dimension two is completely representable; though the class is elementary. Using higly involved constructions of Hirsch…
In this paper we address some basic questions of the Banach space structure of the nest algebras in the trace class; in particular, we study whether any two of them are isomorphic to each other, and show that the nest algebras in the trace…
We introduce a new formulation of the real-spectral-triple formalism in non-commutative geometry (NCG): we explain its mathematical advantages and its success in capturing the structure of the standard model of particle physics. The idea,…
We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…
A hom-associative structure is a set $A$ together with a binary operation $\star$ and a selfmap $\alpha$ such that an $\alpha$-twisted version of associativity is fulfilled. In this paper, we assume that $\alpha$ is surjective. We show that…
A general method to easily build global and relative operators for any number n of elementary systems if they are defined for 2 is presented. It is based on properties of the morphisms valued in the tensor products of algebras of the…
A model of computation is abstract if, when applied to any algebra, the resulting programs for computable functions and sets on that algebra are invariant under isomorphisms, and hence do not depend on a representation for the algebra.…
We prove that the C*-algebra of a second-countable, \'etale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated…
Molecular graphs of unsaturated carbon frameworks or hydrocarbons pruned of hydrogen atoms, are chemical graphs. A chemical graph is a connected simple graph of maximum degree $3$ or less. A nut graph is a connected simple graph with a…
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…
We define a construction on operads which yields a new description of the minimal model. The construction also allows us to define algebraic structures on the homology of chain complexes with homologously trivial operad algebra structures,…
We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a…
We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree…
A subclass of dynamical semigroups induced by the interaction of a quantum system with an environment is introduced. Such semigroups lead to the selection of a stable subalgebra of effective observables. The structure of this subalgebra is…