Archives
Keywords
Cardinal Invariants Diamond for trees Strong coloring Jonsson cardinal Amenable C-sequence SNR Universal Sequences middle diamond Sierpinski's onto mapping principle Singular cofinality Open Access Hedetniemi's conjecture Nonspecial tree Strongly compact cardinal projective Boolean algebra Strongly Luzin set Generalized Clubs Fat stationary set Almost countably chromatic Fodor-type reflection Vanishing levels Non-saturation Prevalent singular cardinals Successor of Regular Cardinal Coherent tree Aronszajn tree square Cardinal function sap Diamond-sharp Erdos Cardinal Cohen real Successor of Singular Cardinal nonmeager set Small forcing OCA Ascent Path very good scale ccc Fast club full tree free Boolean algebra Precaliber Ramsey theory over partitions Hindman's Theorem Martin's Axiom Souslin Tree reflection principles transformations incompactness xbox L-space Closed coloring Constructible Universe Almost-disjoint family Reduced Power Large Cardinals Singular Density stick Distributive tree Kurepa Hypothesis approachability ideal P-Ideal Dichotomy Slim tree club_AD Almost Souslin Sakurai's Bell inequality regressive Souslin tree Microscopic Approach strongly bounded groups Sigma-Prikry square principles Commutative cancellative semigroups Analytic sets Antichain Prikry-type forcing Subtle cardinal AIM forcing PFA Rainbow sets Filter reflection indecomposable ultrafilter super-Souslin tree Iterated forcing 54G20 Uniformization stationary hitting Knaster Respecting tree unbounded function Uniformly coherent Subadditive O-space coloring number Absoluteness Countryman line Partition Relations Greatly Mahlo Rado's conjecture Well-behaved magma Forcing Axioms Ulam matrix Dowker space higher Baire space tensor product graph Singular cardinals combinatorics Minimal Walks Whitehead Problem Subnormal ideal positive partition relation Was Ulam right? Local Club Condensation. Dushnik-Miller Poset stationary reflection ZFC construction Erdos-Hajnal graphs Shelah's Strong Hypothesis b-scale Square-Brackets Partition Relations Diamond specializable Souslin tree Reflecting stationary set Commutative projection system Mandelbrot set Hereditarily Lindelöf space Chromatic number Selective Ultrafilter Subtle tree property GMA Weakly compact cardinal weak square Ineffable cardinal S-Space weak Kurepa tree Lipschitz reduction HOD weak diamond Ostaszewski square Rock n' Roll Parameterized proxy principle Knaster and friends Luzin set Generalized descriptive set theory diamond star Forcing Axiom R free Souslin tree Uniformly homogeneous countably metacompact Club Guessing polarized partition relation Postprocessing function Intersection model C-sequence Chang's conjecture Foundations PFA(S)[S]
Tag Archives: Forcing Axioms
Squares, ultrafilters and forcing axioms
Joint work with Chris Lambie-Hanson and Jing Zhang. Abstract. We study the interplay of the three families of combinatorial objects or principles. Specifically, we show the following. Strong forcing axioms, in general incompatible with the existence of indexed squares, can … Continue reading
Posted in Compactness, Preprints
Tagged Forcing Axioms, indecomposable ultrafilter, Subadditive, unbounded function
Comments Off on Squares, ultrafilters and forcing axioms
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
A forcing axiom deciding the generalized Souslin Hypothesis
Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
1 Comment
Bell’s theorem on the cardinal invariant
In this post, we shall provide a proof to a famous theorem of Murray Bell stating that
Bell’s theorem on the cardinal invariant
In this post, we shall provide a proof to a famous theorem of Murray Bell stating that
