Order:
  1.  59
    An Aristotelian notion of size.Vieri Benci, Mauro Di Nasso & Marco Forti - 2006 - Annals of Pure and Applied Logic 143 (1-3):43-53.
    The naïve idea of “size” for collections seems to obey both Aristotle’s Principle: “the whole is greater than its parts” and Cantor’s Principle: “1-to-1 correspondences preserve size”. Notoriously, Aristotle’s and Cantor’s principles are incompatible for infinite collections. Cantor’s theory of cardinalities weakens the former principle to “the part is not greater than the whole”, but the outcoming cardinal arithmetic is very unusual. It does not allow for inverse operations, and so there is no direct way of introducing infinitesimal numbers. Here (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  2.  14
    Choice principles in hyperuniverses.Marco Forti & Furio Honsell - 1996 - Annals of Pure and Applied Logic 77 (1):35-52.
    It is well known that the validity of Choice Principles is problematic in non-standard Set Theories which do not abide by the Limitation of Size Principle. In this paper we discuss the consistency of various Choice Principles with respect to the Generalized Positive Comprehension Principle . The Principle GPC allows to take as sets those classes which can be specified by Generalized Positive Formulae, e.g. the universe. In particular we give a complete characterization of which choice principles hold in Hyperuniverses. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3. An Euclidean Measure of Size for Mathematical Universes.Vieri Benci, Mauro Nasso & Marco Forti - 2007 - Logique Et Analyse 50.
  4.  16
    Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
    The proof of Lemma 5 in our paper “Choice Principles in Hyperuniverses” [3], contains an error. In the present note we show that the statement of that lemma is false and hence the Axiom of Choice fails in all κ-hyperuniverses, for uncountable κ. However, a weaker version of Lemma 5 can be proved, which implies that the Linear Ordering Principle holds in all κ-metric κ-hyperuniverses.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  38
    A Model where Cardinal Ordering is Universal.Marco Forti & Furio Honsell - 1985 - Mathematical Logic Quarterly 31 (31-34):533-536.
  6.  42
    Comparison of the axioms of local and global universality.Marco Forti & Furio Honsell - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (13‐16):193-196.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
  8.  33
    The consistency of the axiom of universality for the ordering of cardinalities.Marco Forti & Furio Honsell - 1985 - Journal of Symbolic Logic 50 (2):502-509.