Archives
Keywords
Diamond-sharp O-space Erdos-Hajnal graphs Prikry-type forcing Forcing Axioms unbounded function Fast club Parameterized proxy principle Ineffable cardinal Weakly compact cardinal Ostaszewski square Large Cardinals Almost countably chromatic middle diamond projective Boolean algebra Fat stationary set Analytic sets regressive Souslin tree Almost-disjoint family Rado's conjecture Jonsson cardinal free Souslin tree PFA OCA Generalized Clubs Absoluteness positive partition relation GMA incompactness Martin's Axiom Mandelbrot set super-Souslin tree Commutative projection system Subtle tree property Knaster and friends Constructible Universe Subnormal ideal Shelah's Strong Hypothesis free Boolean algebra Square-Brackets Partition Relations Filter reflection Antichain Singular cofinality Cardinal Invariants Prevalent singular cardinals nonmeager set indecomposable filter tensor product graph Sakurai's Bell inequality Uniformly coherent Reflecting stationary set weak square Coherent tree Small forcing Rainbow sets Iterated forcing Diamond SNR Precaliber Slim tree weak diamond Uniformization Chromatic number full tree stick Well-behaved magma stationary reflection Diamond for trees b-scale Dowker space Lipschitz reduction very good scale Nonspecial tree Intersection model Singular Density Commutative cancellative semigroups diamond star Subtle cardinal Was Ulam right? Chang's conjecture Sierpinski's onto mapping principle Countryman line Aronszajn tree Non-saturation specializable Souslin tree Reduced Power polarized partition relation Strongly Luzin set Dushnik-Miller higher Baire space 54G20 Foundations Subadditive Erdos Cardinal square principles Poset weak Kurepa tree Hereditarily Lindelöf space strongly bounded groups L-space Fodor-type reflection Respecting tree reflection principles Universal Sequences Almost Souslin xbox club_AD Local Club Condensation. Rock n' Roll Vanishing levels C-sequence Closed coloring countably metacompact Souslin Tree Partition Relations ccc Microscopic Approach transformations Generalized descriptive set theory Kurepa Hypothesis HOD Strongly compact cardinal Luzin set Ulam matrix Minimal Walks Hedetniemi's conjecture Greatly Mahlo sap stationary hitting S-Space Postprocessing function Selective Ultrafilter approachability ideal Cardinal function Ascent Path square AIM forcing Forcing Successor of Singular Cardinal Singular cardinals combinatorics Whitehead Problem Hindman's Theorem Axiom R P-Ideal Dichotomy Uniformly homogeneous Amenable C-sequence PFA(S)[S] Strong coloring Ramsey theory over partitions Cohen real Sigma-Prikry Club Guessing Distributive tree Knaster Open Access coloring number ZFC construction Successor of Regular Cardinal
Category Archives: Blog
Polychromatic colorings
These are lectures notes of two talks Dani Livne gave in our Infinite Combinatorics seminar. I did not take notes in real-time, hence, all possible mistakes here are due to myself. Recall that a function
Universal binary sequences
Notation. Write
Syndetic colorings with applications to S and L
Notation. Write
Open coloring and the cardinal invariant
Nik Weaver asked for a direct proof of the fact that Todorcevic’s axiom implies the failure of CH fails. Here goes. Notation. For a set
Gabriel Belachsan (14/5/1976 – 20/8/2013)
רק כשעיני סגורות, עולם נגלה לפני
PFA and the tree property at
Recall that a poset
A Kurepa tree from diamond-plus
Recall that
Posted in Blog, Expository
Tagged diamond star, Kurepa Hypothesis
Comments Off on A Kurepa tree from diamond-plus
The S-space problem, and the cardinal invariant
Recall that an S-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In a previous post, we showed that such a space exists after adding a Cohen real. Here, we shall construct one from an arithmetic … Continue reading
The S-space problem, and the cardinal invariant
Recall that an S-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In a previous post, we showed that such a space exists after adding a Cohen real. Here, we shall construct one from an arithmetic … Continue reading
An
Recall that an
