Works by Zashev, J. (exact spelling)

( view other items matching `Zashev, J.`, view all matches )
Order:
  1. Categorial generalization of algebraic recursion theory (vol 101, pg 91, 1995).J. Zashev - 1999 - Journal of Symbolic Logic 64 (1):406-406.
     
    Export citation  
     
    Bookmark  
  2.  51
    On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation