Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
    We show that the statement “separable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC . We also find some characterizations of the axiom of dependent choices.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations