Archives
Keywords
AIM forcing Ramsey theory over partitions specializable Souslin tree Forcing Axioms Well-behaved magma Singular cardinals combinatorics Diamond for trees Jonsson cardinal SNR Absoluteness Almost countably chromatic Commutative cancellative semigroups Erdos Cardinal C-sequence xbox Minimal Walks Iterated forcing Small forcing b-scale P-Ideal Dichotomy full tree unbounded function Dushnik-Miller Precaliber Analytic sets ZFC construction Amenable C-sequence O-space Square-Brackets Partition Relations Postprocessing function Successor of Regular Cardinal Distributive tree regressive Souslin tree Diamond projective Boolean algebra Cohen real Cardinal function super-Souslin tree Reduced Power Successor of Singular Cardinal Subadditive Strong coloring PFA(S)[S] Sigma-Prikry Poset Local Club Condensation. Ineffable cardinal Was Ulam right Sakurai's Bell inequality countably metacompact Closed coloring Erdos-Hajnal graphs Microscopic Approach polarized partition relation square Foundations Prevalent singular cardinals Souslin Tree Luzin set Ostaszewski square GMA Uniformly homogeneous PFA Uniformization sap Universal Sequences Uniformly coherent Cardinal Invariants Strongly Luzin set Vanishing levels stick Hereditarily Lindelöf space reflection principles indecomposable ultrafilter Subtle cardinal Hedetniemi's conjecture Partition Relations Non-saturation Subtle tree property Mandelbrot set weak diamond Shelah's Strong Hypothesis Weakly compact cardinal 54G20 transformations Hindman's Theorem OCA free Souslin tree diamond star positive partition relation Martin's Axiom Ascent Path Whitehead Problem Fat stationary set Kurepa Hypothesis Singular Density Chromatic number Rock n' Roll approachability ideal Forcing Rainbow sets Lipschitz reduction Selective Ultrafilter Coherent tree Open Access Rado's conjecture Parameterized proxy principle nonmeager set Almost-disjoint family club_AD Subnormal ideal Prikry-type forcing S-Space middle diamond Axiom R free Boolean algebra HOD Knaster and friends Antichain Constructible Universe Filter reflection Chang's conjecture Dowker space Ulam matrix strongly bounded groups Reflecting stationary set Aronszajn tree Club Guessing Nonspecial tree incompactness stationary hitting Singular cofinality Almost Souslin Knaster weak square Fodor-type reflection higher Baire space Fast club square principles ccc very good scale stationary reflection Diamond-sharp Slim tree Greatly Mahlo Large Cardinals coloring number tensor product graph Generalized descriptive set theory Sierpinski's onto mapping principle L-space Generalized Clubs
Tag Archives: Shelah’s Strong Hypothesis
Logic in Hungary, August 2005
These are the slides of a contributed talk given at the Logic in Hungary 2005 meeting (Budapest, 5–11 August 2005). Talk Title: On the consistency strength of the Milner-Sauer Conjecture Abstract: In their paper from 1981, after learning about Pouzet‘s theorem that any … Continue reading
Posted in Contributed Talks
Tagged Antichain, Shelah's Strong Hypothesis, Singular cofinality
Leave a comment
A topological reflection principle equivalent to Shelah’s strong hypothesis
Abstract: We notice that Shelah’s Strong Hypothesis (SSH) is equivalent to the following reflection principle: Suppose $\mathbb X$ is an (infinite) first-countable space whose density is a regular cardinal, $\kappa$. If every separable subspace of $\mathbb X$ is of cardinality at most … Continue reading
Posted in Compactness, Publications, Topology
Tagged 03E04, 03E65, 54G15, Open Access, Shelah's Strong Hypothesis
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
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
On the consistency strength of the Milner-Sauer conjecture
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 conjecture is consistent and known … Continue reading