Positive equivalences with finite classes and related algebras (Q1204783)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Positive equivalences with finite classes and related algebras
scientific article

    Statements

    Positive equivalences with finite classes and related algebras (English)
    0 references
    0 references
    0 references
    28 March 1993
    0 references
    Let \(\eta\) be an equivalence over \(\mathbb{N}\); \(\eta\) is called effectively infinite if there is an infinite recursively enumerable set of pairwise non \(\eta\)-equivalent numbers. An algebra is effectively infinite if its numerating equivalence is effectively infinite. It is proved that a positive equivalence is effectively infinite and there is a finitely generated algebra over it if the powers of its classes are bounded by some natural number. Some examples of non-effectively infinite positive algebras locally finite or finitely generated with finite classes of the numerating equivalences are given.
    0 references
    positive equivalence
    0 references
    effectively infinite equivalence
    0 references
    effectively infinite algebra
    0 references
    finitely generated algebra
    0 references
    0 references
    0 references

    Identifiers