Archives
Keywords
Uniformization incompactness O-space Luzin set Hindman's Theorem Strongly Luzin set Cardinal function Chromatic number Erdos-Hajnal graphs Diamond-sharp super-Souslin tree Prevalent singular cardinals Respecting tree Sigma-Prikry Microscopic Approach Coherent tree P-Ideal Dichotomy very good scale Forcing b-scale club_AD Almost-disjoint family Rado's conjecture Subtle tree property Open Access approachability ideal Axiom R Martin's Axiom Ineffable cardinal Distributive tree Knaster and friends full tree Strongly compact cardinal countably metacompact Postprocessing function Ramsey theory over partitions weak diamond Reduced Power AIM forcing Reflecting stationary set Intersection model Analytic sets PFA(S)[S] xbox unbounded function perfectly normal Cohen real square Vanishing levels projective Boolean algebra Nonspecial tree square principles polarized partition relation diamond star stationary reflection Selective Ultrafilter Shelah's Strong Hypothesis Was Ulam right? Uniformly homogeneous Square-Brackets Partition Relations Kurepa Hypothesis Lipschitz reduction transformations Diamond for trees Forcing Axioms Sierpinski's onto mapping principle Commutative cancellative semigroups free Souslin tree Club Guessing Partition relations for trees reflection principles Rainbow sets Generalized descriptive set theory Slim tree Prikry-type forcing SNR Forcing with side conditions Iterated forcing specializable Souslin tree Precaliber Sakurai's Bell inequality Antichain Generalized Clubs Hereditarily Lindelöf space Erdos Cardinal Almost countably chromatic sap Successor of Singular Cardinal Souslin Tree Cardinal Invariants 54G20 Knaster Aronszajn tree Hedetniemi's conjecture Singular cardinals combinatorics Greatly Mahlo stationary hitting tensor product graph Local Club Condensation. nonmeager set ccc Minimal Walks L-space Filter reflection Subnormal ideal Fast club Well-behaved magma weak square Ascending path higher Baire space Ostaszewski square stick Large Cardinals GMA coloring number free Boolean algebra Dowker space HOD S-Space Parameterized proxy principle Poset Partition Relations Mandelbrot set Interval topology on trees PFA Dushnik-Miller Absoluteness Foundations Weakly compact cardinal Subtle cardinal Countryman line OCA weak Kurepa tree Chang's conjecture Strong coloring Small forcing ZFC construction positive partition relation Fat stationary set Non-saturation Monotonically far Closed coloring Universal Sequences Amenable C-sequence Commutative projection system C-sequence Singular Density Singular cofinality Entangled linear order Uniformly coherent strongly bounded groups Ascent Path middle diamond Ulam matrix Diamond Successor of Regular Cardinal Almost Souslin Whitehead Problem regressive Souslin tree Subadditive Rock n' Roll indecomposable filter Constructible Universe Jonsson cardinal Fodor-type reflection
Category Archives: Publications
Hedetniemi’s conjecture for uncountable graphs
Abstract. It is proved that in Godel’s constructible universe, for every successor cardinal $\kappa$, there exist graphs $\mathcal G$ and $\mathcal H$ of size and chromatic number $\kappa$, for which the tensor product graph $\mathcal G\times\mathcal H$ is countably chromatic. … Continue reading
Chromatic numbers of graphs – large gaps
Abstract. We say that a graph $G$ is $(\aleph_0,\kappa)$-chromatic if $\text{Chr}(G)=\kappa$, while $\text{Chr}(G’)\le\aleph_0$ for any subgraph $G’$ of $G$ of size $<|G|$. The main result of this paper reads as follows. If $\square_\lambda+\text{CH}_\lambda$ holds for a given uncountable cardinal $\lambda$, … Continue reading
Posted in Compactness, Infinite Graphs, Publications
Tagged 03E35, 05C15, 05C63, Almost countably chromatic, Chromatic number, incompactness, Ostaszewski square
6 Comments
Rectangular square-bracket operation for successor of regular cardinals
Joint work with Stevo Todorcevic. Extended Abstract: Consider the coloring statement $\lambda^+\nrightarrow[\lambda^+;\lambda^+]^2_{\lambda^+}$ for a given regular cardinal $\lambda$: In 1990, Shelah proved the above for $\lambda>2^{\aleph_0}$; In 1991, Shelah proved the above for $\lambda>\aleph_1$; In 1997, Shelah proved the above … Continue reading
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
