Homogeneous and universal Dedekind algebras (Q1975161)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homogeneous and universal Dedekind algebras |
scientific article |
Statements
Homogeneous and universal Dedekind algebras (English)
0 references
9 April 2000
0 references
A Dedekind algebra is an ordered pair \((B,h)\) where \(B\) is a non-empty set and \(h\) is a similarity transformation on \(B\). Each Dedekind algebra is associated with a cardinal-valued function on \(\omega\) called its configuration signature (the configuration signature counts the number of configurations in each isomorphism type which occur in the decomposition of the algebra). The aim of this paper is to prove that configuration signatures can be used to characterize the homogeneous, universal and homogeneous-universal Dedekind algebras. This characterization is used to prove various results about these subclasses of Dedekind algebras.
0 references
second-order logic
0 references
universal algebra
0 references
mono-unary algebra
0 references
Dedekind algebra
0 references
configuration signature
0 references