Results for 'Carlos Augusto Di Prisco'

(not author) ( search as author name )
1000+ found
Order:
  1.  11
    Strong Axioms of Infinity and Elementary Embeddings.Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  9
    Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding.Carlos Augusto Di Prisco, Richard L. Epstein & Walter A. Carnielli - 2002 - Bulletin of Symbolic Logic 8 (1):101.
  3.  16
    [Omnibus Review].Carlos Augusto Di Prisco - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
  4.  18
    XI Latin American Symposium on Mathematical Logic.Carlos Augusto Di Prisco - 1999 - Bulletin of Symbolic Logic 5 (4):495-524.
  5. REVIEWS-Computability.R. Epstein, W. Carnielli & Carlos Augusto Di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-103.
     
    Export citation  
     
    Bookmark  
  6.  63
    Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 , pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 , pp. 33–57. [REVIEW]Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
  7.  15
    Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. 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.
  9.  19
    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  
  10.  15
    Some Aspects of the Ramsey Theory of Real Numbers. [REVIEW]Carlos Augusto Di Prisco - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés 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  
  11.  20
    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.
  12.  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.
  13.  6
    Partitions of Products.Carlos A. Di Prisco & James M. Henle - 1993 - Journal of Symbolic Logic 58 (3):860-871.
  14.  14
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  24
    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  
  16. 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  
  17.  11
    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   1 citation  
  18.  15
    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  
  19. Perfect set properties in models of ZF.Franklin Galindo & Carlos Di Prisco - 2010 - Fundamenta Mathematicae 208 (208):249-262.
    We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Constructibilidad relativizada y el Axioma de elección.Franklin Galindo & Carlos Di Prisco - 2010 - Mixba'al. Revista Metropolitana de Matemáticas 1 (1):23-40.
    El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de Gödel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teoría de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades básicas y algunas formas débiles del Axioma de Elección válidas o no válidas en (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  18
    Doughnuts, floating ordinals, square brackets, and ultraflitters.Carlos A. Di Prisco & James M. Henle - 2000 - Journal of Symbolic Logic 65 (1):461 - 473.
  22. The Wonder of Colors and the Principle of Ariadne.Walter Carnielli & Carlos di Prisco - 2017 - In Walter Carnielli & Carlos di Prisco (eds.), The Wonder of Colors and the Principle of Ariadne. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. The Wonder of Colors and the Principle of Ariadne.Walter Carnielli & Carlos di Prisco - 2017 - In How Colours Matter to Philosophy. Springer. pp. 309=317.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  23
    The Magic Mountain.Carlo Augusto Viano - 2017 - Rivista di Storia Della Filosofia 72 (4):575-584.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Esperienza e Natura nella filosofia di Francesco Bacone.Carlo Augusto Viano - 1954 - Rivista di Filosofia 45 (3):291-313.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  26. II significato della „Doxa" nella filosofia di Platone.Carlo Augusto Viano - 1952 - Rivista di Filosofia 43 (2):167-185.
    No categories
     
    Export citation  
     
    Bookmark  
  27. La dialettica in Aristotele.Carlo Augusto Viano - 1958 - Rivista di Filosofia 49 (2):154-78.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  28.  28
    Antiche ragioni per nuove paure: Habermans e la genetica.Carlo Augusto Viano - 2004 - Rivista di Filosofia 95 (2):277-296.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Introduzione.Carlo Augusto Viano - 2002 - Rivista di Filosofia 93 (2):195-202.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Il Papa e il caso Galileo.Carlo Augusto Viano - 1994 - Rivista di Filosofia 85 (1):99-108.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  16
    La bioetica tra passato e futuro.Carlo Augusto Viano - 1997 - Rivista di Filosofia 88 (3):347-360.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. La dialettica stoica.Carlo Augusto Viano - 1958 - Rivista di Filosofia 49 (2):179-227.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  33.  18
    L'Aids e le rivoluzioni scientifiche.Carlo Augusto Viano - 1998 - Rivista di Filosofia 89 (3):477-494.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  18
    La filosofia a Torino.Carlo Augusto Viano - 2000 - Rivista di Filosofia 91 (1):5-46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  21
    La protesta degli scienziati.Carlo Augusto Viano - 2001 - Rivista di Filosofia 92 (2):201-218.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  28
    L'Illuminismo tra risurrezioni e miraggi.Carlo Augusto Viano - 2005 - Rivista di Filosofia 96 (1):91-120.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  24
    Protezione della vita e suicidio assistito nella sentenza della Corte Suprema degli Stati Uniti.Carlo Augusto Viano - 1998 - Rivista di Filosofia 89 (1):5-26.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  20
    Scelta e qualità della vita.Carlo Augusto Viano - 2001 - Rivista di Filosofia 92 (1):177.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  23
    Simulatori, radicali o scettici?Carlo Augusto Viano - 2005 - Rivista di Filosofia 96 (2):287-294.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  23
    Uccidere è lecito.Carlo Augusto Viano - 1997 - Rivista di Filosofia 88 (2):315-322.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983.Xavier Caicedo, Rolando Chauqui, Newton C. D. da Costa & Carlos A. Di Prisco - 1984 - Journal of Symbolic Logic 49 (4):1430 - 1440.
  42.  18
    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.
  43. Pensiero vivente di Roberto Esposito.Giuseppe Cacciatore & Carlo Augusto Viano - 2012 - Iride: Filosofia e Discussione Pubblica 25 (1):135-154.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  34
    Un'etica senza Dio, di Eugenio Lecaldano.Sergio Givone, Maurizio Mori & Carlo Augusto Viano - 2007 - Iride: Filosofia e Discussione Pubblica 20 (2):387-402.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  27
    Sull'enciclica "Fides et ratio".Antonello La Vergata, Pietro Rossi & Carlo Augusto Viano - 1999 - Rivista di Filosofia 90 (2):183-218.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    Extreme poverty first: An argument on the equitable distribution of the COVID‐19 vaccine in Peru.Carlos Augusto Yabar - 2023 - Developing World Bioethics 24 (2):97-101.
    Effective vaccines for COVID‐19 are already available to humankind. In Peru, 86 million doses were administered to cover the demand for 33 million Peruvian people. Hence, vaccination has been prioritized in groups: health personnel, subjects with pre‐existing health conditions and those over 65 years of age. However, given the social problems and the public health situation in Peru, this work defends that the priority of vaccination should be focused on the population living in extreme poverty. The method used was an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  18
    La pobreza extrema es prioridad: Un argumento sobre la distribución equitativa de la vacuna contra el COVID‐19 en Perú.Carlos Augusto Yabar - 2023 - Developing World Bioethics 24 (2):102-106.
    La humanidad ya dispone de vacunas eficaces contra el COVID‐19. En Perú se administraron 86 millones de dosis para cubrir la demanda de 33 millones de peruanos. Para ello, se ha priorizado la vacunación en grupos clave: personal de salud, sujetos con condiciones de salud preexistentes y mayores de 65 años. Sin embargo, dada la problemática social y la situación de la salud pública en Perú, este trabajo defiende que la prioridad de la vacunación debe centrarse en la población que (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Poesie di filosofi: Carlo Mazzantini, Vincenzo Arcozzi-Masino, Maria Grazia Benedetto Porrone.Augusto Guzzo - 1973 - Filosofia 24 (1):67.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Ricordo di amici: Paolo Lamanna, Carlo Terzi, Mario Gliozzi.Augusto Guzzo - 1977 - Filosofia 28 (3):450.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  12
    Conceptual and empirical reflection provide more arguments for the centrality of extreme poverty in COVID‐19 vaccination: A reply to Abal and Zeledón‐Ramírez et al.Carlos Augusto Yabar - 2023 - Developing World Bioethics 23 (3):209-210.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000