Switch to: References

Add citations

You must login to add citations.
  1. On co-simple isols and their intersection types.Rod Downey & Theodore A. Slaman - 1992 - Annals of Pure and Applied Logic 56 (1-3):221-237.
    We solve a question of McLaughlin by showing that if A is a regressive co-simple isol, there is a co-simple regressive isol B such that the intersection type of A and B is trivial. The proof is a nonuniform 0 priority argument that can be viewed as the execution of a single strategy from a 0-argument. We establish some limit on the properties of such pairs by showing that if AxB has low degree, then the intersection type of A and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
    Several problems that pertain to certain arithmetically well-behaved countable subsemirings of Λ, the semiring of isols, are discussed. This is relevant to the present volume memorializing the late John Myhill, in that Myhill was an early co-developer of the theory of Λ.
    Download  
     
    Export citation  
     
    Bookmark