Archives
Keywords
Vanishing levels Chromatic number GMA Entangled linear order Erdos-Hajnal graphs nonmeager set diamond star Interval topology on trees sap Large Cardinals Nonspecial tree Fat stationary set Knaster polarized partition relation projective Boolean algebra Almost-disjoint family square Rock n' Roll Hedetniemi's conjecture full tree Commutative cancellative semigroups free Souslin tree Jonsson cardinal Constructible Universe Amenable C-sequence Ascending path free Boolean algebra tensor product graph Subadditive Club Guessing Fodor-type reflection Almost Souslin coloring number Forcing Well-behaved magma Singular cardinals combinatorics Sakurai's Bell inequality Absoluteness Rainbow sets b-scale Reflecting stationary set Erdos Cardinal Diamond Selective Ultrafilter regressive Souslin tree Subnormal ideal Ascent Path transformations Singular Density weak diamond Non-saturation Precaliber Uniformly coherent very good scale Prikry-type forcing Square-Brackets Partition Relations Ulam matrix strongly bounded groups Successor of Regular Cardinal Hindman's Theorem Local Club Condensation. Lipschitz reduction Monotonically far Antichain Shelah's Strong Hypothesis square principles approachability ideal ccc Mandelbrot set xbox Slim tree P-Ideal Dichotomy Countryman line Uniformly homogeneous Singular cofinality countably metacompact incompactness Small forcing Hereditarily Lindelöf space SNR Generalized Clubs Closed coloring Luzin set Fast club Chang's conjecture Diamond for trees Was Ulam right? HOD Souslin Tree Ineffable cardinal Aronszajn tree stick weak square Subtle tree property Forcing Axioms Iterated forcing Sierpinski's onto mapping principle Cardinal Invariants higher Baire space weak Kurepa tree stationary reflection reflection principles PFA(S)[S] PFA Foundations C-sequence Microscopic Approach O-space Diamond-sharp super-Souslin tree Dushnik-Miller Subtle cardinal Sigma-Prikry Reduced Power Martin's Axiom AIM forcing Generalized descriptive set theory Ostaszewski square middle diamond Ramsey theory over partitions Coherent tree Distributive tree Respecting tree Strongly Luzin set Strongly compact cardinal ZFC construction Cardinal function perfectly normal Open Access Forcing with side conditions Weakly compact cardinal Intersection model Minimal Walks club_AD Prevalent singular cardinals Poset stationary hitting Uniformization Filter reflection Greatly Mahlo Parameterized proxy principle Whitehead Problem Commutative projection system Successor of Singular Cardinal Almost countably chromatic Partition Relations Analytic sets positive partition relation Strong coloring Cohen real 54G20 Postprocessing function unbounded function OCA S-Space specializable Souslin tree Axiom R L-space Dowker space Kurepa Hypothesis Knaster and friends Universal Sequences indecomposable filter Rado's conjecture
Tag Archives: 03E35
A cofinality-preserving small forcing may introduce a special Aronszajn tree
Extended Abstract: Shelah proved that Cohen forcing introduces a Souslin tree; Jensen proved that a c.c.c. forcing may consistently add a Kurepa tree; Todorcevic proved that a Knaster poset may already force the Kurepa hypothesis; Irrgang introduced a c.c.c. notion … Continue reading
Posted in Publications, Squares and Diamonds
Tagged 03E04, 03E05, 03E35, Aronszajn tree, Small forcing, Successor of Singular Cardinal, weak square
Leave a comment
Openly generated Boolean algebras and the Fodor-type reflection principle
Joint work with Sakaé Fuchino. Abstract: We prove that the Fodor-type Reflection Principle (FRP) is equivalent to the assertion that any Boolean algebra is openly generated if and only if it is $\aleph _2$-projective. Previously it was known that this … Continue reading
Posted in Compactness, Publications
Tagged 03E35, 03E55, 03E65, 03E75, 03G05, 06E05, Axiom R, Fodor-type reflection, free Boolean algebra, projective Boolean algebra, Shelah's Strong Hypothesis, stationary reflection
Comments Off on Openly generated Boolean algebras and the Fodor-type reflection principle
The failure of diamond on a reflecting stationary set
Joint work with Moti Gitik. Abstract: It is shown that the failure of $\diamondsuit_S$, for a subset $S\subseteq\aleph_{\omega+1}$ that reflects stationarily often, is consistent with GCH and $\text{AP}_{\aleph_\omega}$, relatively to the existence of a supercompact cardinal. This should be comapred with … Continue reading
A relative of the approachability ideal, diamond and non-saturation
Abstract: Let $\lambda$ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square^*_\lambda$ together with $2^\lambda=\lambda^+$ implies $\diamondsuit_S$ for every $S\subseteq\lambda^+$ that reflects stationarily often. In this paper, for a subset $S\subset\lambda^+$, a normal subideal of … Continue reading
On guessing generalized clubs at the successors of regulars
Abstract: Konig, Larson and Yoshinobu initiated the study of principles for guessing generalized clubs, and introduced a construction of an higher Souslin tree from the strong guessing principle. Complementary to the author’s work on the validity of diamond and non-saturation … Continue reading
Antichains in partially ordered sets of singular cofinality
Abstract: In their paper from 1981, Milner and Sauer conjectured that for any poset $\mathbb P$, if $\text{cf}(\mathbb P)$ is a singular cardinal $\lambda$, then $\mathbb P$ must contain an antichain of size $\text{cf}(\lambda)$. The main result of of this … Continue reading
Posted in Publications, Singular Cardinals Combinatorics
Tagged 03E04, 03E35, 06A07, Antichain, Poset, Singular cofinality
Leave a comment
The Ostaszewski square, and homogeneous Souslin trees
Abstract: Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $\left\langle C_\alpha \mid \alpha<\lambda^+\right\rangle$ with the following remarkable guessing property: For every sequence $\langle A_i\mid i<\lambda\rangle$ … Continue reading
Posted in Publications, Souslin Hypothesis, Squares and Diamonds
Tagged 03E05, 03E35, Club Guessing, Fat stationary set, Ostaszewski square, Souslin Tree
5 Comments
