J. Zashev [3]Jordan Zashev [1]
  1.  43
    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  
  2. Categorial Generalization of Algebraic Recursion Theory (Vol 101, Pg 91, 1995).J. Zashev - 1999 - Journal of Symbolic Logic 64 (1):406-406.
  3.  15
    Diagonal Fixed Points in Algebraic Recursion Theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
    The relation between least and diagonal fixed points is a well known and completely studied question for a large class of partially ordered models of the lambda calculus and combinatory logic. Here we consider this question in the context of algebraic recursion theory, whose close connection with combinatory logic recently become apparent. We find a comparatively simple and rather weak general condition which suffices to prove the equality of least fixed points with canonical (corresponding to those produced by the Curry (...)
    Direct download (3 more)  
    Export citation