Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

Tree constructions of free continuous algebras

1982; Elsevier BV; Volume: 24; Issue: 1 Linguagem: Inglês

10.1016/0022-0000(82)90059-9

ISSN

1090-2724

Autores

Jiřı́ Adámek, Evelyn Nelson, Jan Reiterman,

Tópico(s)

Logic, programming, and type systems

Resumo

Continuous algebras are algebras endowed with a partial order which is complete with respect to specified joins and such that the operations preserve these specified joins. We prove the existence of free continuous algebras by actually giving a concrete description of them in terms of trees, for any type of algebras and any choice of the “specified” joins.

Referência(s)