4 found
Order:
  1.  17
    A long chain of P-points.Borisa Kuzeljevic & Dilip Raghavan - 2018 - Journal of Mathematical Logic 18 (1):1850004.
    The notion of a [Formula: see text]-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each [Formula: see text], any [Formula: see text]-generic sequence of P-points can be extended to an [Formula: see text]-generic sequence. This shows that the CH implies that there is a chain of P-points of length [Formula: see text] with respect to both Rudin–Keisler and Tukey reducibility. These results answer an old question of Andreas Blass.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  6
    Cofinal types on ω 2.Borisa Kuzeljevic & Stevo Todorcevic - 2023 - Mathematical Logic Quarterly 69 (1):92-103.
    In this paper we start the analysis of the class, the class of cofinal types of directed sets of cofinality at most ℵ2. We compare elements of using the notion of Tukey reducibility. We isolate some simple cofinal types in, and then proceed to find some of these types which have an immediate successor in the Tukey ordering of.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  8
    Lower Bounds of Sets of P-points.Borisa Kuzeljevic, Dilip Raghavan & Jonathan L. Verner - 2023 - Notre Dame Journal of Formal Logic 64 (3):317-327.
    We show that MAκ implies that each collection of Pc-points of size at most κ which has a Pc-point as an RK upper bound also has a Pc-point as an RK lower bound.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Antichains of copies of ultrahomogeneous structures.Miloš S. Kurilić & Boriša Kuzeljević - 2022 - Archive for Mathematical Logic 61 (5):867-879.
    We investigate possible cardinalities of maximal antichains in the poset of copies \,\subseteq \rangle \) of a countable ultrahomogeneous relational structure \. It turns out that if the age of \ has the strong amalgamation property, then, defining a copy of \ to be large iff it has infinite intersection with each orbit of \, the structure \ can be partitioned into countably many large copies, there are almost disjoint families of large copies of size continuum and, hence, there are (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark