Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Boolean algebras with a distinguished automorphism

Abad M., Díaz Varela J. P., Zander M.

Reports on Mathematical Logic

2003

No. 37

1001-112

In this paper we investigate a subvariety BA of tense algebras, which we call Boolean algebras with a distinguished automorphism. This variety provides a unifying framework for the algebras studied by Monteiro in [4] and by Moisil in [5,6]. Among others we prove that BA is generated by its finite members and we characterize the locally finite subvarieties of BA.