Switch to: Citations

Add references

You must login to add references.
  1. On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
    In set theory without the Axiom of Choice math formula, we study the deductive strength of the statements math formula, math formula, math formula, and math formula. Among various results, we prove that none of the above statements is provable without using some form of choice, math formula is equivalent to math formula, math formula + math formula implies math formula, math formula does not imply math formula in math formula, math formula does not imply math formula in math formula (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
    Martin's Axiom math formula is the statement that for every well-ordered cardinal math formula, the statement math formula holds, where math formula is “if math formula is a c.c.c. quasi order and math formula is a family of math formula dense sets in P, then there is a math formula-generic filter of P”. In math formula, the fragment math formula is provable, but not in general in math formula. In this paper, we investigate the interrelation between math formula and various (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
    We investigate the set theoretical strength of some properties of normality, including Urysohn's Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions of normal spaces, and normality of Fσ subsets of normal spaces.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
    It is shown that in ZF Martin's -axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: (a) the axiom of countable choice for finite sets, (b) power sets of infinite sets are Dedekind-infinite, (c) there are no amorphous sets, and (d) weak forms of the Kinna-Wagner principle.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Provable forms of Martin's axiom.Gary P. Shannon - 1990 - Notre Dame Journal of Formal Logic 31 (3):382-388.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.
    In set theory without the axiom of choice, we investigate the deductive strength of the principle “every topological space with the minimal cover property is compact”, and its relationship with certain notions of finite as well as with properties of linearly ordered sets and partially ordered sets.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Powers of.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
    It is shown that in ZF Martin's $ \aleph_{0}^{}$-axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: the axiom of countable choice for finite sets, power sets of infinite sets are Dedekind-infinite, there are no amorphous sets, and weak forms of the Kinna-Wagner principle.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Adding dependent choice.David Pincus - 1977 - Annals of Mathematical Logic 11 (1):105.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • The strength of the $\Delta$-system lemma.Paul Howard & Jeffrey Solski - 1992 - Notre Dame Journal of Formal Logic 34 (1):100-106.
    Download  
     
    Export citation  
     
    Bookmark   3 citations