1.  4
    Leopoldo Román (1988). Ultradiophantine Categories. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):289-295.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  31
    Robert Paré & Leopoldo Román (1989). Monoidal Categories with Natural Numbers Object. Studia Logica 48 (3):361 - 376.
    The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well developed. A number of examples illustrate the usefulness of the concept.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Leopoldo Román (1988). Ultradiophantine Categories. Mathematical Logic Quarterly 34 (4):289-295.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography