Archives
Keywords
weak Kurepa tree Foundations L-space ccc Intersection model projective Boolean algebra Fat stationary set free Boolean algebra stationary reflection PFA(S)[S] Well-behaved magma Monotonically far Subtle tree property P-Ideal Dichotomy Commutative cancellative semigroups tensor product graph diamond star indecomposable filter Cardinal function Universal Sequences specializable Souslin tree middle diamond Luzin set Ascending path Successor of Singular Cardinal Souslin Tree weak square stationary hitting Martin's Axiom weak diamond Sakurai's Bell inequality Dushnik-Miller transformations Uniformly coherent Interval topology on trees sap approachability ideal ZFC construction unbounded function Square-Brackets Partition Relations Forcing Axioms Prikry-type forcing Sigma-Prikry Ramsey theory over partitions Reflecting stationary set Poset Ascent Path Fast club Axiom R Diamond for trees Ulam matrix Analytic sets Erdos-Hajnal graphs Diamond-sharp Respecting tree Distributive tree OCA Rock n' Roll Forcing Aronszajn tree b-scale Club Guessing free Souslin tree Antichain Sierpinski's onto mapping principle Chang's conjecture Postprocessing function Singular cofinality Weakly compact cardinal Uniformly homogeneous Generalized descriptive set theory Mandelbrot set Greatly Mahlo polarized partition relation Rado's conjecture Shelah's Strong Hypothesis Coherent tree Commutative projection system Microscopic Approach Was Ulam right? Forcing with side conditions full tree super-Souslin tree Countryman line coloring number Subnormal ideal Diamond square principles Kurepa Hypothesis Prevalent singular cardinals Lipschitz reduction Precaliber xbox incompactness Jonsson cardinal Small forcing Minimal Walks Uniformization Non-saturation Vanishing levels Cohen real Hereditarily Lindelöf space Large Cardinals Filter reflection positive partition relation Strongly Luzin set HOD Closed coloring Chromatic number C-sequence Knaster and friends Hedetniemi's conjecture Singular cardinals combinatorics Successor of Regular Cardinal Ineffable cardinal Slim tree Knaster Rainbow sets Iterated forcing Partition relations for trees Selective Ultrafilter Ostaszewski square strongly bounded groups nonmeager set Almost countably chromatic Constructible Universe 54G20 Almost Souslin Local Club Condensation. Almost-disjoint family Subtle cardinal Generalized Clubs S-Space Reduced Power Singular Density Nonspecial tree Cardinal Invariants Whitehead Problem Erdos Cardinal Dowker space reflection principles Parameterized proxy principle very good scale AIM forcing Strongly compact cardinal Fodor-type reflection Entangled linear order Absoluteness Open Access Partition Relations perfectly normal PFA regressive Souslin tree SNR stick Hindman's Theorem Strong coloring GMA Amenable C-sequence higher Baire space club_AD square O-space Subadditive countably metacompact
Tag Archives: Almost-disjoint family
The vanishing levels of a tree
Joint work with Shira Yadai and Zhixing You. Abstract. We initiate the study of the spectrum of sets that can be realized as the vanishing levels $V(\mathbf T)$ of a normal $\kappa$-tree $\mathbf T$. This is an invariant in the … Continue reading
Posted in Preprints, Souslin Hypothesis
Tagged Almost-disjoint family, Ascent Path, C-sequence, Coherent tree, Dowker space, Open Access, Parameterized proxy principle, regressive Souslin tree, Respecting tree, Subtle tree property, Uniformly homogeneous, Vanishing levels, weak Kurepa tree
2 Comments
Universal binary sequences
Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Suppose for the moment that we are given a fixed sequence $\langle f_\alpha:\omega\rightarrow2\mid \alpha\in a\rangle$, indexed by some set $a$ of ordinals. Then, for every function $h:a\rightarrow\omega$ and $i<\omega$, we … Continue reading
The Engelking-Karlowicz theorem, and a useful corollary
Theorem (Engelking-Karlowicz, 1965). For cardinals $\kappa\le\lambda\le\mu\le 2^\lambda$, the following are equivalent: $\lambda^{<\kappa}=\lambda$; there exists a collection of functions, $\langle f_i:\mu\rightarrow\lambda\mid i<\lambda\rangle$, such that for every $X\in[\mu]^{<\kappa}$ and every function $f:X\rightarrow\lambda$, there exists some $i<\lambda$ with $f\subseteq f_i$. Proof. (2)$\Rightarrow$(1) Suppose … Continue reading
