Recursion and iteration in continuous theories: the ''M-construction''
type: Item
instance of: scholarly article
title: Recursion and iteration in continuous theories: the ''M-construction''
zbMATH Open document ID: 0534.18003
DOI: 10.1016/0022-0000(83)90037-5
author: Stephen L. Bloom
author: James W. Thatcher
author: Eric G. Wagner
author: Jesse B. Wright
published in: Journal of Computer and System Sciences
publication date: 1983-01-01T00:00:00Z
review text: A functor \(M\) is described assigning to each continuous algebraic theory \(T\) another theory \(M(T)\) whose morphisms correspond to systems of recursive equations in \(T\).
reviewed by: Jiří Adámek
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3847632
zbMATH Keywords: M-construction
zbMATH Keywords: continuous algebraic theory
zbMATH Keywords: systems of recursive equations
MaRDI profile type: Publication
full work available at URL: 0022-0000(83)90037-5
OpenAlex ID: W2031167121
cites work: Varieties of ordered algebras
cites work: Scalar and vector iteration
cites work: The existence and construction of free iterative theories
cites work: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
cites work: Vector Iteration in Pointed Iterative Theories
cites work: Q5515373
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q5639839
cites work: Q4176939
description: scientific article; zbMATH DE number 3847632