Order:
  1.  11
    Weak Partition Properties on Trees.Michael Hrušák, Petr Simon & Ondřej Zindulka - 2013 - Archive for Mathematical Logic 52 (5-6):543-567.
    We investigate the following weak Ramsey property of a cardinal κ: If χ is coloring of nodes of the tree κ <ω by countably many colors, call a tree ${T \subseteq \kappa^{ < \omega}}$ χ-homogeneous if the number of colors on each level of T is finite. Write ${\kappa \rightsquigarrow (\lambda)^{ < \omega}_{\omega}}$ to denote that for any such coloring there is a χ-homogeneous λ-branching tree of height ω. We prove, e.g., that if ${\kappa < \mathfrak{p}}$ or ${\kappa > \mathfrak{d}}$ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  76
    On the Existence of Large P-Ideals.Winfried Just, A. R. D. Mathias, Karel Prikry & Petr Simon - 1990 - Journal of Symbolic Logic 55 (2):457-465.
    We prove the existence of p-ideals that are nonmeagre subsets of P(ω) under various set-theoretic assumptions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  3
    Dedicated to Petr Vopeynka.Bohuslav Balcar & Petr Simon - 2001 - Annals of Pure and Applied Logic 109 (1):2-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    The Name for Kojman–Shelah Collapsing Function.Bohuslav Balcar & Petr Simon - 2001 - Annals of Pure and Applied Logic 109 (1-2):131-137.
    In the previous paper of this volume, Kojman and Shelah solved our long standing problem of collapsing cardinal κ0 to ω1 by the forcing for singular κ with countable cofinality. The aim of the present paper is to give an explicit construction of the Boolean matrix for this collapse.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Independent Families in Complete Boolean AlgebrasThe Space of Ultrafilters on N Covered by Nowhere Dense SetsOCA and Automorphisms of \scrP/Fin.Klaas Pieter Hart, B. Balcar, F. Franek, Bohuslav Balcar, Jan Pelant, Petr Simon & Boban Velickovic - 2002 - Bulletin of Symbolic Logic 8 (4):554.