Recursive coalgebras of finitary functors
For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.
Page 1
Displaying 1 – 8 of 8
Regularising natural dualities.
Davey, B.A., Knox, B.J. (1999)
Acta Mathematica Universitatis Comenianae. New Series
Relational structures and dependence spaces
Vítězslav Novák, Miroslav Novotný (1997)
Czechoslovak Mathematical Journal
Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras
Wiesław Dziobiak (1990)
Fundamenta Mathematicae
Remarks on quasivarieties of algebras
Ahmad Shafaat (1973)
Archivum Mathematicum
Representation of ordered classes by classes of connected unary algebras
Oldřich Kopeček (1978)
Archivum Mathematicum
Retract varieties of monounary algebras
Danica Jakubíková-Studenovská (1997)
Czechoslovak Mathematical Journal
Ring-like operations is pseudocomplemented semilattices
Ivan Chajda, Helmut Länger (2000)
Discussiones Mathematicae - General Algebra and Applications
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Currently displaying 1 – 8 of 8
Page 1