Varieties of chain-complete algebras

DOI10.1016/0022-4049(80)90106-1zbMath0445.18008OpenAlexW2042319653MaRDI QIDQ1145208

José Meseguer

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90106-1

zbMATH Keywords

varietiesprogram semanticschain-complete posetenriched Lawvere algebraic theories

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational classes, universal algebra in model theory (03C05) Ordered structures (06F99)

Related Items (12)

The Birkhoff variety theorem for continuous algebras ⋮ On P-dominions of continuous algebras ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Algebraic solutions to recursion schemes ⋮ Discrete Lawvere theories and computational effects ⋮ Recursion-closed algebraic theories ⋮ Graph grammars and operational semantics ⋮ Epis need not be dense ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Algebraic relations and presentations ⋮ Order completion monads

Cites Work

• Algebras of uniformly continuous functions
• A uniform approach to inductive posets and inductive closure
• Order completion monads
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• \(\mathbb{T}^\omega\) as a universal domain
• Chain-complete posets and directed sets with applications
• Varieties of ordered algebras
• Scalar and vector iteration
• A generalized approach to formal languages
• Categories of chain-complete posets
• On some classes of interpretations
• Fixed-point constructions in order-enriched categories
• Adjoint functors and triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Kan extensions in enriched category theory
• The Category-Theoretic Solution of Recursive Domain Equations
• Semantics of computation
• Bases for Chain-complete Posets
• Data Types as Lattices
• Primitive recursive algebraic theories and program schemes
• Initial Algebra Semantics and Continuous Algebras
• Colimits of algebras revisited
• Categorical algebra
• Automata in general algebras
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Heterogeneous algebras
• Regular Categories and Regular Functors
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• A Perspective View of Discrete Automata and Their Design
• Duality for groups
• General Theory of Natural Equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Varieties of chain-complete algebras