Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Equational spectrum of Hilbert varieties

100%

Padmanabhan R., Rudeanu S.

Open Mathematics

2009

tom 7

nr 1

66-72

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.

A note on inverse binary operation in abelian groups

60%

Padmanabhan R.

Fundamenta Mathematicae

1969

tom 65

nr 1

61-63

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

On some ternary relations in lattices

50%

Padmanabhan R.

Colloquium Mathematicum

1966

tom 15

nr 2

195-198

Ograniczanie wyników

1 Colloquium Mathematicum

1 Fundamenta Mathematicae

1 Open Mathematics

3 Padmanabhan R.

1 Rudeanu S.

1 2009

1 1969

1 1966

Wyniki wyszukiwania

Equational spectrum of Hilbert varieties

A note on inverse binary operation in abelian groups

On some ternary relations in lattices