On the Recursion Theorem in Iterative Operative Spaces
Zashev, J.
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 1727-1748 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The recursion theorem in abstract partially ordered algebras, such as operative spaces and others, is the most fundamental result of algebraic recursion theory. The primary aim of the present paper is to prove this theorem for iterative operative spaces in full generality. As an intermediate result, a new and rather large class of models of the combinatory logic is obtained.
Publié le : 2001-12-14
Classification:  
@article{1183746621,
     author = {Zashev, J.},
     title = {On the Recursion Theorem in Iterative Operative Spaces},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 1727-1748},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746621}
}

Zashev, J. On the Recursion Theorem in Iterative Operative Spaces. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  1727-1748. http://gdmltest.u-ga.fr/item/1183746621/