Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)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. Cham: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.Yasuo Kanai - 2002 - Mathematical Logic Quarterly 48 (3):413-426.
    In this article, we shall show the generalized notions of distributivity of Boolean algebras have essential relations with several axioms and properties of set theory, say the Axiom of Choice, the Axiom of Dependence Choice, the Prime Ideal Theorems, Martin's axioms, Lebesgue measurability and so on.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On ramsey’s theorem and the existence of infinite chains or infinite anti-chains in infinite posets.Eleftherios Tachtsis - 2016 - Journal of Symbolic Logic 81 (1):384-394.
    Download  
     
    Export citation  
     
    Bookmark   6 citations