10 found
Order:
  1.  43
    A Theory of Sets with the Negation of the Axiom of Infinity.Stefano Baratella & Ruggero Ferro - 1993 - Mathematical Logic Quarterly 39 (1):338-352.
    In this paper we introduce a theory of finite sets FST with a strong negation of the axiom of infinity asserting that every set is provably bijective with a natural number. We study in detail the role of the axioms of Power Set, Choice, Regularity in FST, pointing out the relative dependences or independences among them. FST is shown to be provably equivalent to a fragment of Alternative Set Theory. Furthermore, the introduction of FST is motivated in view of a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  20
    Non Standard Regular Finite Set Theory.Stefano Baratella & Ruggero Ferro - 1995 - Mathematical Logic Quarterly 41 (2):161-172.
    We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i. e. via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFST, we investigate its relative consistency with respect to ZF and Kawai's WNST.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  41
    Carlo Cellucci. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 5–7. - Carlo Cellucci. Introduzione. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 9–79. - Kurt Gödel. La logica matematiea di Russell. Italian translation of XI 75. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 81–112. - Kurt Gödel. Che cos'è il problema del continuo di Cantor? Italian translation of XXXIV 108. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 113–136. - Kurt Gödel. Osservazioni al Convegno su Problemi di Matematiea per il Secondo Centenario di Princeton. Italian translation of XXXI 484. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 137–141. - Alonzo Church. Matematiea e logica. Italian translation of XXVIII 106. Avvertenza. La filosofia della ma. [REVIEW]Ruggero Ferro - 1969 - Journal of Symbolic Logic 34 (2):313-314.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  34
    Interpolation Theorems for Lk,K2+.Ruggero Ferro - 1978 - Journal of Symbolic Logic 43 (3):535-549.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  28
    Giulio Andreoli. Funzioni simmetriche, involuzioni ed n-adi in un'algebra di Boole. Giornale di matematiche di Battaglini , vol. 81 no. 2 , pp. 181–198. [REVIEW]Ruggero Ferro - 1970 - Journal of Symbolic Logic 35 (4):592.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    Domenico Castaldo. Relazione fra le funzioni simmetriche in un algebra di Boole. La ricerca , vol. 10 ser. 2 , pp. 27–34. [REVIEW]Ruggero Ferro - 1971 - Journal of Symbolic Logic 36 (1):164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  12
    Giulio Andreoli. Proprietà delle funzioni simmetriche elementari nelle algebre di Boole e nelle algebre dei livelli. La ricerca , vol. 10 ser. 2 , pp. 1–10. [REVIEW]Ruggero Ferro - 1973 - Journal of Symbolic Logic 38 (1):153-154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  14
    Reality, Knowledge of Reality, Representation of the Knowledge of Reality.Ruggero Ferro - 2012 - Epistemologia 1:71-85.
    Very often reality is identified with our knowledge of it, and in turn our knowledge of reality is identified with the linguistic manner of describing it. It is claimed that the three moments cannot be identified, by pointing out some crucial differences among them obtained through an analysis of the power and limitations of languages and of the manners of acquisition of knowledge.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    Review: Giulio Andreoli, Proprieta delle Funzioni Simmetriche Elementari Nel Algebre di Boole e Nel Algebre dei Livelli. [REVIEW]Ruggero Ferro - 1973 - Journal of Symbolic Logic 38 (1):153-154.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  2
    Review: Domenico Castaldo, Relazione fra le Funzioni Simmetriche in un Algebra di Boole. [REVIEW]Ruggero Ferro - 1971 - Journal of Symbolic Logic 36 (1):164-164.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark