Works by Sauro Tulipani

( view other items matching `Sauro Tulipani`, view all matches )
Order:
  1.  38
    An algorithm to determine, for any prime p, a polynomial-sized horn sentence which expresses "the cardinality is not p".Sauro Tulipani - 1985 - Journal of Symbolic Logic 50 (4):1062-1064.
    Given a prime p, we exhibit a Horn sentence H p which expresses "the cardinality is not p" and has size O(p 5 log p).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2.  11
    Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field.Sauro Tulipani - 1981 - Mathematical Logic Quarterly 27 (31‐35):481-488.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  25
    Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field.Sauro Tulipani - 1981 - Mathematical Logic Quarterly 27 (31-35):481-488.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation