Archives
Keywords
Chang's conjecture ZFC construction Slim tree Diamond Nonspecial tree Uniformization Amenable C-sequence diamond star Entangled linear order Ostaszewski square Ulam matrix Diamond for trees Singular cofinality Large Cardinals Selective Ultrafilter Souslin Tree countably metacompact Dushnik-Miller incompactness Vanishing levels Partition relations for trees Iterated forcing tensor product graph Diamond-sharp Weakly compact cardinal L-space Hindman's Theorem Singular cardinals combinatorics Open Access Parameterized proxy principle Generalized Clubs OCA Strongly Luzin set very good scale Cardinal Invariants specializable Souslin tree Strongly compact cardinal Forcing with side conditions Jonsson cardinal Sakurai's Bell inequality ccc GMA Postprocessing function Fodor-type reflection Almost-disjoint family Monotonically far Uniformly coherent Ineffable cardinal projective Boolean algebra Closed coloring Hereditarily Lindelöf space Antichain b-scale Precaliber Local Club Condensation. coloring number higher Baire space Microscopic Approach Respecting tree Knaster and friends C-sequence weak diamond Shelah's Strong Hypothesis Ascending path stationary hitting Chromatic number Prikry-type forcing free Boolean algebra indecomposable filter Aronszajn tree Erdos Cardinal weak Kurepa tree Was Ulam right? Knaster positive partition relation Countryman line Mandelbrot set Ramsey theory over partitions Cardinal function Commutative projection system PFA(S)[S] Prevalent singular cardinals Strong coloring Luzin set Filter reflection transformations Rock n' Roll S-Space Constructible Universe free Souslin tree strongly bounded groups Minimal Walks Forcing Axioms square principles Distributive tree Square-Brackets Partition Relations Hedetniemi's conjecture Subtle cardinal Coherent tree Intersection model club_AD stationary reflection P-Ideal Dichotomy Successor of Singular Cardinal Sigma-Prikry Interval topology on trees Partition Relations perfectly normal HOD Commutative cancellative semigroups Rado's conjecture Subadditive regressive Souslin tree Subnormal ideal full tree Successor of Regular Cardinal Fat stationary set sap 54G20 Almost countably chromatic AIM forcing PFA Erdos-Hajnal graphs Dowker space Uniformly homogeneous Cohen real Subtle tree property Ascent Path Martin's Axiom Whitehead Problem square stick Reduced Power Kurepa Hypothesis Club Guessing middle diamond SNR Lipschitz reduction Singular Density unbounded function O-space Absoluteness Forcing Small forcing super-Souslin tree Axiom R Non-saturation nonmeager set reflection principles Foundations weak square approachability ideal Sierpinski's onto mapping principle Almost Souslin polarized partition relation Analytic sets Universal Sequences Poset Rainbow sets Generalized descriptive set theory Fast club Reflecting stationary set xbox Well-behaved magma Greatly Mahlo
Tag Archives: Cohen real
On the ideal J[kappa]
Abstract. Motivated by a question from a recent paper by Gilton, Levine and Stejskalova, we obtain a new characterization of the ideal $J[\kappa]$, from which we confirm that $\kappa$-Souslin trees exist in various models of interest. As a corollary we … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged Cardinal Invariants, Cohen real, nonmeager set
1 Comment
6th European Set Theory Conference, July 2017
I gave a 3-lecture tutorial at the 6th European Set Theory Conference in Budapest, July 2017. Title: Strong colorings and their applications. Abstract. Consider the following questions. Is the product of two $\kappa$-cc partial orders again $\kappa$-cc? Does there exist … Continue reading
Posted in Invited Talks, Open Problems
Tagged b-scale, Cohen real, Luzin set, Minimal Walks, Souslin Tree, Square-Brackets Partition Relations
4 Comments
An $S$-space from a Cohen real
Recall that an $S$-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In this post, we shall establish the consistency of the existence of such a space. Theorem (Roitman, 1979). Let $\mathbb C=({}^{<\omega}\omega,\subseteq)$ be the notion of … Continue reading
