Order:
  1.  18
    Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field.Sauro Tulipani - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (31-35):481-488.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  21
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  3
    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 (3 more)  
     
    Export citation  
     
    My bibliography