Varieties of chain-complete algebras
type: Item
instance of: scholarly article
title: Varieties of chain-complete algebras
zbMATH Open document ID: 0445.18008
DOI: 10.1016/0022-4049(80)90106-1
published in: Journal of Pure and Applied Algebra
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 06F99
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 3695437
zbMATH Keywords: varieties
zbMATH Keywords: chain-complete poset
zbMATH Keywords: program semantics
zbMATH Keywords: enriched Lawvere algebraic theories
author: José Meseguer
MaRDI profile type: Publication
full work available at URL: 0022-4049(80)90106-1
OpenAlex ID: W2042319653
cites work: Colimits of algebras revisited
cites work: Q4063610
cites work: Q4134935
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: A uniform approach to inductive posets and inductive closure
cites work: Q4176939
cites work: Q3049836
cites work: Q5545978
cites work: Q4138104
cites work: Q5331549
cites work: Heterogeneous algebras
cites work: Varieties of ordered algebras
cites work: Scalar and vector iteration
cites work: Q5515373
cites work: Q4127365
cites work: Q4198080
cites work: On some classes of interpretations
cites work: Q4772711
cites work: Q4164787
cites work: Q3912630
cites work: Q4151140
cites work: Q5616191
cites work: Kan extensions in enriched category theory
cites work: Q5586461
cites work: General Theory of Natural Equivalences
cites work: Adjoint functors and triples
cites work: Automata in general algebras
cites work: Q5636309
cites work: A Perspective View of Discrete Automata and Their Design
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Semantics of computation
cites work: Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
cites work: Q4125728
cites work: Q4122068
cites work: Q4139646
cites work: Regular Categories and Regular Functors
cites work: Q5682456
cites work: Algebras with a Scheme of Operators
cites work: Q4105238
cites work: Algebras of uniformly continuous functions
cites work: Q4123303
cites work: Primitive recursive algebraic theories and program schemes
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q5541361
cites work: Some algebraic problems in the context of functorial semantics of algebraic theories
cites work: Q5599205
cites work: Q5570960
cites work: Duality for groups
cites work: Categorical algebra
cites work: Q5639839
cites work: A generalized approach to formal languages
cites work: Q3950708
cites work: Q3885170
cites work: Q5601829
cites work: Chain-complete posets and directed sets with applications
cites work: Categories of chain-complete posets
cites work: Bases for Chain-complete Posets
cites work: Q4145866
cites work: Q3946206
cites work: Order completion monads

Varieties of chain-complete algebras (cites work)
cites work: Q4766003

Varieties of chain-complete algebras (cites work)
cites work: Q4116078

Varieties of chain-complete algebras (cites work)
cites work: Q5612497

Varieties of chain-complete algebras (cites work)
cites work: Q5624635

Varieties of chain-complete algebras (cites work)
cites work: Q4090505

Varieties of chain-complete algebras (cites work)
cites work: \(\mathbb{T}^\omega\) as a universal domain

Varieties of chain-complete algebras (cites work)
cites work: Q5624680

Varieties of chain-complete algebras (cites work)
cites work: Q5666704

Varieties of chain-complete algebras (cites work)
cites work: Q4163189

Varieties of chain-complete algebras (cites work)
cites work: Q5636307

Varieties of chain-complete algebras (cites work)
cites work: Q5649639

Varieties of chain-complete algebras (cites work)
cites work: Data Types as Lattices

Varieties of chain-complete algebras (cites work)
cites work: The Category-Theoretic Solution of Recursive Domain Equations

Varieties of chain-complete algebras (cites work)
cites work: Q4181303

Varieties of chain-complete algebras (cites work)
cites work: Q4174213

Varieties of chain-complete algebras (cites work)
cites work: Q5665189

Varieties of chain-complete algebras (cites work)
cites work: Q4404457

Varieties of chain-complete algebras (cites work)
cites work: Fixed-point constructions in order-enriched categories