14 found
Order:
Disambiguations
Carlos di Prisco [7]Carlos Augusto Di Prisco [5]Carlos A. Di Prisco [5]
  1. The Wonder of Colors and the Principle of Ariadne.Walter Carnielli & Carlos di Prisco - 2017 - In How Colours Matter to Philosophy. New . York: Springer. pp. 309-317.
    The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. Some (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  7
    Local Ramsey Theory: An Abstract Approach.Carlos Di Prisco, José G. Mijares & Jesús Nieto - 2017 - Mathematical Logic Quarterly 63 (5):384-396.
    Given a topological Ramsey space math formula, we extend the notion of semiselective coideal to sets math formula and study conditions for math formula that will enable us to make the structure math formula a Ramsey space and also study forcing notions related to math formula which will satisfy abstract versions of interesting properties of the corresponding forcing notions in the realm of Ellentuck's space. This extends results from to the most general context of topological Ramsey spaces. As applications, we (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  14
    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  
  4. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    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.
  6.  13
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  9
    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.
  8.  8
    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.
  9.  8
    Some Aspects of the Ramsey Theory of Real Numbers. [REVIEW]Carlos Augusto Di Prisco - 2015 - In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 115-138.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    On Some Extensions of the Projective Hierarchy.Carlos A. Di Prisco & Jimena Llopis - 1987 - Annals of Pure and Applied Logic 36 (2):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  
  11.  3
    Are We Closer to a Solution of the Continuum Problem?Carlos di Prisco - 2005 - Manuscrito 28 (2):331-350.
    The Continuum Hypothesis has motivated a considerable part of the development of axiomatic set theory for over a century. We present, in a very schematic way, some of the results that give information related to Cantor’s Continuum Problem.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. How Colours Matter to Philosophy.Walter Carnielli & Carlos di Prisco - 2017 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  13. 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.
  14.  5
    Partitions of Products.Carlos A. Di Prisco & James M. Henle - 1993 - Journal of Symbolic Logic 58 (3):860-871.