Archives
Keywords
Jonsson cardinal Successor of Regular Cardinal square GMA Prikry-type forcing Countryman line Reflecting stationary set Iterated forcing AIM forcing xbox Cardinal Invariants coloring number Ineffable cardinal Forcing Axioms Microscopic Approach Rainbow sets Prevalent singular cardinals Diamond for trees Successor of Singular Cardinal Almost countably chromatic indecomposable ultrafilter Respecting tree Club Guessing OCA Commutative cancellative semigroups sap higher Baire space Large Cardinals b-scale Poset unbounded function Fodor-type reflection Sakurai's Bell inequality very good scale Reduced Power Diamond-sharp weak square stationary reflection Local Club Condensation. Aronszajn tree Filter reflection 54G20 Hedetniemi's conjecture Dowker space C-sequence Erdos-Hajnal graphs Subadditive Knaster Hereditarily Lindelöf space Sigma-Prikry specializable Souslin tree Small forcing Ostaszewski square Selective Ultrafilter strongly bounded groups Fast club Closed coloring S-Space Non-saturation Almost Souslin L-space Uniformization Souslin Tree Lipschitz reduction countably metacompact Generalized descriptive set theory Kurepa Hypothesis Subtle tree property Forcing P-Ideal Dichotomy ZFC construction Diamond reflection principles Chang's conjecture Rock n' Roll Nonspecial tree Singular cofinality middle diamond polarized partition relation Commutative projection system Uniformly coherent incompactness Minimal Walks Antichain Shelah's Strong Hypothesis Mandelbrot set Axiom R Ascent Path Slim tree stick Well-behaved magma Amenable C-sequence Almost-disjoint family Ramsey theory over partitions Ulam matrix super-Souslin tree Strong coloring Strongly compact cardinal Coherent tree Whitehead Problem Subnormal ideal Fat stationary set Postprocessing function approachability ideal projective Boolean algebra Dushnik-Miller Cardinal function Martin's Axiom Uniformly homogeneous square principles Singular Density PFA Subtle cardinal Foundations Analytic sets diamond star Sierpinski's onto mapping principle Square-Brackets Partition Relations stationary hitting HOD Absoluteness club_AD weak diamond weak Kurepa tree Constructible Universe full tree free Souslin tree transformations Singular cardinals combinatorics Vanishing levels SNR Cohen real Intersection model Was Ulam right? free Boolean algebra Partition Relations regressive Souslin tree nonmeager set positive partition relation O-space Hindman's Theorem Erdos Cardinal Parameterized proxy principle Greatly Mahlo Generalized Clubs Luzin set Weakly compact cardinal Open Access Precaliber Rado's conjecture Strongly Luzin set ccc tensor product graph Universal Sequences PFA(S)[S] Chromatic number Distributive tree Knaster and friends
Category Archives: Publications
Same Graph, Different Universe
Abstract. May the same graph admit two different chromatic numbers in two different universes? how about infinitely many different values? and can this be achieved without changing the cardinals structure? In this paper, it is proved that in Godel’s constructible … Continue reading
Posted in Infinite Graphs, Publications
Tagged 03E35, 05C15, 05C63, approachability ideal, Chromatic number, Constructible Universe, Forcing, Ostaszewski square
10 Comments
Chain conditions of products, and weakly compact cardinals
Abstract. The history of productivity of the $\kappa$-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every … Continue reading
Posted in Partition Relations, Publications
Tagged Aronszajn tree, ccc, Fat stationary set, Minimal Walks, square, Weakly compact cardinal
2 Comments
Complicated colorings
Abstract. If $\lambda,\kappa$ are regular cardinals, $\lambda>\kappa^+$, and $E^\lambda_{\ge\kappa}$ admits a nonreflecting stationary set, then $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ holds. (Recall that $\text{Pr}_1(\lambda,\lambda,\lambda,\kappa)$ asserts the existence of a coloring $d:[\lambda]^2\rightarrow\lambda$ such that for any family $\mathcal A\subseteq[\lambda]^{<\kappa}$ of size $\lambda$, consisting of pairwise … Continue reading
Posted in Partition Relations, Publications
Tagged Minimal Walks, Open Access, Square-Brackets Partition Relations
2 Comments
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
