The Birkhoff Variety Theorem for continuous algebras
- 1 October 1985
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 20 (3) , 328-350
- https://doi.org/10.1007/bf01195142
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Completions of Partially Ordered SetsSIAM Journal on Computing, 1982
- Tree constructions of free continuous algebrasJournal of Computer and System Sciences, 1982
- Z-Continuous algebrasPublished by Springer Nature ,1981
- Varieties of chain-complete algebrasJournal of Pure and Applied Algebra, 1980
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- Algebraic families of interpretationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Some fundamentals of order-algebraic semanticsPublished by Springer Nature ,1976
- Algebraic TheoriesPublished by Springer Nature ,1976
- On the combination of subalgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1933