5 found
Order:
  1.  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.
  2.  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  
  3.  8
    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.
  4.  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  
  5. 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.