We show that pseudovarieties of finitely generated algebras, i.e., classes C of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure UC on the free algebra for C: the members of C then are precisely those finitely generated algebras A for which the natural mapping from the free algebra onto the term clone of A is...

The most important uniform algebra is the family of continuous functions on a compact subset $K$ complex plane $\mathbb C $ which are analytic interior ${\rm int} (K)$. For polyanalytic and sets regular

This paper describes a new object oriented model and query algebra that will be used as an input language for the query optimizers that are being built as a part of the EREQ project The model adopts a uniform view of objects and values and separates syntactic semantic and implementa tion concerns The algebra addresses issues of type de ned equality and duplicate elimination as well as extension...

In [9], Dawson and the second author asked whether or not a Banach function algebra with dense invertible group can have a proper Shilov boundary. We give an example of a uniform algebra showing that this can happen, and investigate the properties of such algebras. We make some remarks on the topological stable rank of commutative, unital Banach algebras. In particular, we prove that tsr(A) ≥ t...

We consider Z-actions (single automorphisms) on a unital simple AH algebra with real rank zero and slow dimension growth and show that the uniform outerness implies the Rohlin property under some technical assumptions. Moreover, two Z-actions with the Rohlin property on such a C∗-algebra are shown to be cocycle conjugate if they are asymptotically unitarily equivalent. We also prove that locall...

We formulate quantum mechanics in the two-dimensional torus without using position operators. We define an algebra with only momentum operators and shift operators and construct irreducible representation of the algebra. We show that it realizes quantum mechanics of a charged particle in a uniform magnetic field. We prove that any irreducible representation of the algebra is unitary equivalent ...

We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. We use setoids, i.e. types endowed with an arbitrary equivalence relation, as carriers for algebras. In this way it is possible to define the quotient of an algebra by a congruence. Standard constructions over algebra...

We formulate quantum mechanics in the two-dimensional torus without using position operators. We define an algebra with only momentum operators and shift operators and construct an irreducible representation of the algebra. We show that it realizes quantum mechanics of a charged particle in a uniform magnetic field. We prove that any irreducible representation of the algebra is unitarily equiva...

In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equatio...