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