Archives
Keywords
strongly bounded groups countably metacompact Lipschitz reduction Poset Cardinal function Cardinal Invariants Strongly compact cardinal approachability ideal Postprocessing function free Boolean algebra Weakly compact cardinal Sigma-Prikry square principles Reduced Power Commutative projection system Chang's conjecture PFA(S)[S] projective Boolean algebra Hedetniemi's conjecture Chromatic number Dowker space Precaliber Subadditive Hindman's Theorem Rado's conjecture Large Cardinals Small forcing Filter reflection Partition relations for trees club_AD Uniformly homogeneous Rock n' Roll Local Club Condensation. coloring number L-space Countryman line Souslin Tree weak diamond Dushnik-Miller Singular Density Well-behaved magma O-space stationary hitting HOD SNR Coherent tree polarized partition relation Respecting tree OCA Successor of Regular Cardinal stationary reflection P-Ideal Dichotomy Closed coloring Interval topology on trees stick diamond star indecomposable filter Constructible Universe C-sequence Martin's Axiom Partition Relations Club Guessing Ulam matrix Square-Brackets Partition Relations Iterated forcing Diamond Shelah's Strong Hypothesis Slim tree Open Access Microscopic Approach Commutative cancellative semigroups unbounded function Strong coloring full tree Entangled linear order Minimal Walks Ramsey theory over partitions Erdos-Hajnal graphs Amenable C-sequence Almost Souslin Erdos Cardinal nonmeager set 54G20 xbox Monotonically far Absoluteness AIM forcing Luzin set Ineffable cardinal regressive Souslin tree Sierpinski's onto mapping principle Subtle tree property Distributive tree Aronszajn tree Prevalent singular cardinals Vanishing levels Ostaszewski square Ascent Path Jonsson cardinal Generalized Clubs Singular cardinals combinatorics Singular cofinality higher Baire space Forcing Axioms Was Ulam right? Axiom R b-scale Intersection model Fast club specializable Souslin tree Fodor-type reflection Diamond-sharp Successor of Singular Cardinal PFA middle diamond Uniformization Subtle cardinal Almost-disjoint family Non-saturation Selective Ultrafilter Prikry-type forcing sap S-Space GMA positive partition relation ZFC construction square Strongly Luzin set Knaster perfectly normal transformations Uniformly coherent super-Souslin tree Fat stationary set Foundations Sakurai's Bell inequality Greatly Mahlo Generalized descriptive set theory weak Kurepa tree tensor product graph Knaster and friends Forcing with side conditions Mandelbrot set Cohen real Kurepa Hypothesis Almost countably chromatic Subnormal ideal Universal Sequences Rainbow sets Whitehead Problem Forcing Reflecting stationary set Diamond for trees Parameterized proxy principle incompactness weak square Hereditarily Lindelöf space Nonspecial tree Ascending path Analytic sets reflection principles very good scale free Souslin tree Antichain ccc
Category Archives: Publications
The search for diamonds
Abstract: This is a review I wrote for the Bulletin of Symbolic Logic on the following papers: Saharon Shelah, Middle Diamond, Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. Saharon Shelah, Diamonds, Proceedings of the American Mathematical Society, vol. … Continue reading
Posted in Publications, Reviews, Squares and Diamonds
Tagged Diamond, middle diamond, weak diamond, weak square
1 Comment
Aspects of singular cofinality
Abstract. We study properties of closure operators of singular cofinality, and introduce several ZFC sufficient and equivalent conditions for the existence of antichain sequences in posets of singular cofinality. We also notice that the Proper Forcing Axiom implies the Milner-Sauer … Continue reading
Jensen’s diamond principle and its relatives
This is chapter 6 in the book Set Theory and Its Applications (ISBN: 0821848127). Abstract: We survey some recent results on the validity of Jensen’s diamond principle at successor cardinals. We also discuss weakening of this principle such as club … Continue reading
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
On topological spaces of singular density and minimal weight
Abstract: We introduce a weakening of the Generalized Continuum Hypothesis, which we will refer to as the Prevalent Singular cardinals Hypothesis (PSH), and show it implies that every topological space of density and weight $\aleph_{\omega_1}$ is not hereditarily Lindelöf. The assumption … Continue reading
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
Comments Off on A topological reflection principle equivalent to Shelah’s strong hypothesis
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
