Displaying similar documents to “Operator K -theory for groups which act properly and isometrically on Hilbert space.”

Some properties of epimorphisms of Hilbert algebras

Dumitru Buşneag, Mircea Ghiţă (2010)

Open Mathematics

Similarity:

This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such epimorphisms only for implication algebras, the following results will make possible the construction of some examples of epimorphisms which are not surjective functions. Also, we will show that the study of epimorphisms of Hilbert algebras is equivalent with the study of epimorphisms of Hertz algebras.

Equational spectrum of Hilbert varieties

R. Padmanabhan, Sergiu Rudeanu (2009)

Open Mathematics

Similarity:

We prove that an equational class of Hilbert algebras cannot be defined by a single equation. In particular Hilbert algebras and implication algebras are not one-based. Also, we use a seminal theorem of Alfred Tarski in equational logic to characterize the set of cardinalities of all finite irredundant bases of the varieties of Hilbert algebras, implication algebras and commutative BCK algebras: all these varieties can be defined by independent bases of n elements, for each n > 1. ...