Recursion and iteration in continuous theories: the ''M-construction'' (Q790235)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Recursion and iteration in continuous theories: the M-construction |
scientific article; zbMATH DE number 3847632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursion and iteration in continuous theories: the ''M-construction'' |
scientific article; zbMATH DE number 3847632 |
Statements
Recursion and iteration in continuous theories: the ''M-construction'' (English)
0 references
1983
0 references
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\).
0 references
M-construction
0 references
continuous algebraic theory
0 references
systems of recursive equations
0 references
