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 the normal view instead:
scientific article; zbMATH DE number 3847632
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
