6 found
Order:
  1.  29
    The Axiom of Choice Holds Iff Maximal Closed Filters Exist.Horst Herrlich - 2003 - Mathematical Logic Quarterly 49 (3):323.
    It is shown that in ZF set theory the axiom of choice holds iff every non empty topological space has a maximal closed filter.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  7
    Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
    We study properties of certain subclasses of the Dedekind finite sets in set theory without the axiom of choice with respect to the comparability of their elements and to the boundedness of such classes, and we answer related open problems from Herrlich’s “The Finite and the Infinite.” The main results are as follows: 1. It is relatively consistent with ZF that the class of all finite sets is not the only finiteness class such that any two of its elements are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    On Countable Products of Finite Hausdorff Spaces.Horst Herrlich & Kyriakos Keremedis - 2000 - Mathematical Logic Quarterly 46 (4):537-542.
    We investigate in ZF conditions that are necessary and sufficient for countable products ∏m∈ℕXm of finite Hausdorff spaces Xm resp. Hausdorff spaces Xm with at most n points to be compact resp. Baire. Typica results: Countable products of finite Hausdorff spaces are compact if and only if countable products of non-empty finite sets are non-empty. Countable products of discrete spaces with at most n + 1 points are compact if and only if countable products of non-empty sets with at most (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  5
    Odd-Sized Partitions of Russell-Sets.Horst Herrlich & Eleftherios Tachtsis - 2010 - Mathematical Logic Quarterly 56 (2):185-190.
    In the setting of ZF, i.e., Zermelo–Fraenkel set theory without the Axiom of Choice , we study partitions of Russell-sets into sets each with exactly n elements , for some integer n. We show that if n is odd, then a Russell-set X has an n -ary partition if and only if |X | is divisible by n. Furthermore, we establish that it is relative consistent with ZF that there exists a Russell-set X such that |X | is not divisible (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  10
    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   1 citation  
  6.  4
    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   1 citation