9 found
Order:
Disambiguations
Carlos A. Di Prisco [5]Carlos Augusto Di Prisco [5]
  1.  27
    Parameterized partition relations on the real numbers.Joan Bagaria & Carlos A. Di Prisco - 2009 - Archive for Mathematical Logic 48 (2):201-226.
    We consider several kinds of partition relations on the set ${\mathbb{R}}$ of real numbers and its powers, as well as their parameterizations with the set ${[\mathbb{N}]^{\mathbb{N}}}$ of all infinite sets of natural numbers, and show that they hold in some models of set theory. The proofs use generic absoluteness, that is, absoluteness under the required forcing extensions. We show that Solovay models are absolute under those forcing extensions, which yields, for instance, that in these models for every well ordered partition (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  29
    Some results on polarized partion relations of higher dimension.Walter Alexandre Carnielli & Carlos Augusto Di Prisco - 1993 - Mathematical Logic Quarterly 39 (1):461-474.
    Several types of polarized partition relations are considered. In particular we deal with partitions defined on cartesian products of more than two factors. MSC: 03E05.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. (1 other version)Doughnuts, floating ordinals, square brackets, and ultraflitters.Carlos A. Di Prisco & James M. Henle - 2000 - Journal of Symbolic Logic 65 (1):461-473.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  22
    Meeting of the Association for Symbolic Logic.Xavier Caicedo, Rolando Chuaqui, Newton C. A. Da Costa & Carlos A. Di Prisco - 1984 - Journal of Symbolic Logic 49 (4):1430-1440.
  5.  25
    On some extensions of the projective hierarchy.Carlos A. Di Prisco & Jimena Llopis - 1987 - Annals of Pure and Applied Logic 36:105-113.
    We prove that the least σ-algebra containing the projective sets and closed under projections is exactly the collection of hyperprojective sets which, with their complements, can be inductively defined with real parameters by an induction of countable length. This provides a construction principle for this natural class of hyperprojective sets.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. Set Theory: Techniques and Applications.Carlos Augusto Di Prisco, Jean A. Larson, Joan Bagaria & A. R. D. Mathias - 2000 - Studia Logica 66 (3):426-428.
  7.  20
    Some Aspects of the Ramsey Theory of Real Numbers. [REVIEW]Carlos Augusto Di Prisco - 2015 - In Asa Hirvonen, Juha Kontinen, Roman Kossak & Andres Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 115-138.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  22
    (1 other version)Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. The Wadsworth & Brooks/Cole mathematics series. Wadsworth&Brooks/Cole Advanced Books & Software, Pacific Grove, Calif., 1989, xvii + 297 pp. - Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. Second edition of the preceding. Wadsworth, Belmont, Calif., etc., 2000, xii + 299 + 38 pp. [REVIEW]Carlos Augusto di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
  9.  15
    Telis K. Menas. A combinatorial property of pkλ. The journal of symbolic logic, vol. 41 , pp. 225–234. - Donald H. Pelletier. The partition property for certain extendible measures on supercompact cardinals. Proceedings of the American Mathematical Society, vol. 81 , pp. 607–612. - Kenneth Kunen and Donald H. Pelletier. On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals. The journal of symbolic logic, vol. 48 , pp. 475–481. - Julius B. Barbanel. Supercompact cardinals, trees of normal ultrafilters, and the partition property. The journal of symbolic logic, vol. 51 , pp. 701–708. [REVIEW]Carlos Augusto Di Prisco - 1991 - Journal of Symbolic Logic 56 (3):1098.