Archives
Keywords
Large Cardinals b-scale free Boolean algebra Rado's conjecture Kurepa Hypothesis Greatly Mahlo approachability ideal Ostaszewski square Small forcing Non-saturation tensor product graph Open Access higher Baire space Club Guessing Analytic sets nonmeager set Was Ulam right Iterated forcing Strongly Luzin set Jonsson cardinal Slim tree Singular cofinality Sakurai's Bell inequality weak Kurepa tree super-Souslin tree Prikry-type forcing xbox Commutative projection system strongly bounded groups Coherent tree full tree Erdos Cardinal reflection principles Luzin set stationary reflection sap Souslin Tree Ramsey theory over partitions ccc Microscopic Approach Respecting tree Vanishing levels Partition Relations Closed coloring positive partition relation Reduced Power Subtle cardinal Prevalent singular cardinals Chromatic number regressive Souslin tree very good scale Cardinal function Diamond Shelah's Strong Hypothesis C-sequence square Postprocessing function Intersection model Mandelbrot set Precaliber indecomposable ultrafilter Weakly compact cardinal Parameterized proxy principle Cardinal Invariants Cohen real Subnormal ideal Minimal Walks Erdos-Hajnal graphs transformations Constructible Universe PFA(S)[S] Fodor-type reflection Dowker space Chang's conjecture Reflecting stationary set Ascent Path Well-behaved magma Aronszajn tree Filter reflection AIM forcing middle diamond weak square Absoluteness Sigma-Prikry Amenable C-sequence Diamond for trees Knaster PFA Singular cardinals combinatorics unbounded function countably metacompact Whitehead Problem Local Club Condensation. Generalized Clubs Ineffable cardinal Successor of Regular Cardinal Countryman line Forcing Rainbow sets projective Boolean algebra stationary hitting Strong coloring weak diamond Hedetniemi's conjecture coloring number Universal Sequences Antichain Diamond-sharp free Souslin tree L-space ZFC construction Poset Uniformly homogeneous Uniformization SNR Subtle tree property Almost-disjoint family club_AD GMA specializable Souslin tree square principles Commutative cancellative semigroups diamond star O-space Forcing Axioms Generalized descriptive set theory Fast club Martin's Axiom Hereditarily Lindelöf space 54G20 S-Space Singular Density Nonspecial tree polarized partition relation Hindman's Theorem Square-Brackets Partition Relations incompactness Selective Ultrafilter Lipschitz reduction Sierpinski's onto mapping principle Axiom R Successor of Singular Cardinal Subadditive Strongly compact cardinal P-Ideal Dichotomy Uniformly coherent Rock n' Roll Almost countably chromatic Distributive tree Foundations Fat stationary set stick Knaster and friends Dushnik-Miller Ulam matrix OCA Almost Souslin HOD
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
