Archives
Keywords
reflection principles Jonsson cardinal Nonspecial tree Subnormal ideal Slim tree S-Space Universal Sequences Fat stationary set Club Guessing Minimal Walks stationary reflection Successor of Singular Cardinal Large Cardinals Analytic sets Singular cofinality Mandelbrot set Forcing Axioms Strongly compact cardinal Cardinal function transformations Sakurai's Bell inequality Entangled linear order Axiom R Erdos-Hajnal graphs OCA Square-Brackets Partition Relations Ineffable cardinal P-Ideal Dichotomy Cohen real Interval topology on trees Knaster Chang's conjecture super-Souslin tree Singular Density AIM forcing Rainbow sets Countryman line Forcing Prevalent singular cardinals Strong coloring square principles very good scale Shelah's Strong Hypothesis Almost-disjoint family Successor of Regular Cardinal Greatly Mahlo Almost countably chromatic projective Boolean algebra Ostaszewski square GMA Ulam matrix Reduced Power sap ZFC construction Respecting tree Commutative projection system ccc Aronszajn tree b-scale Closed coloring Antichain Lipschitz reduction club_AD Rock n' Roll Generalized descriptive set theory Subadditive Microscopic Approach Foundations polarized partition relation Fast club O-space Filter reflection full tree nonmeager set Uniformly homogeneous xbox Kurepa Hypothesis diamond star Partition relations for trees perfectly normal Dowker space Poset Local Club Condensation. higher Baire space Hedetniemi's conjecture Prikry-type forcing stick approachability ideal Martin's Axiom Chromatic number Sierpinski's onto mapping principle Souslin Tree Dushnik-Miller Luzin set Cardinal Invariants PFA(S)[S] coloring number indecomposable filter Iterated forcing Reflecting stationary set Monotonically far Whitehead Problem Absoluteness Well-behaved magma Rado's conjecture Sigma-Prikry Parameterized proxy principle middle diamond unbounded function L-space Commutative cancellative semigroups Diamond-sharp Hereditarily Lindelöf space positive partition relation Ascent Path countably metacompact Diamond for trees Vanishing levels Hindman's Theorem Subtle cardinal Diamond Singular cardinals combinatorics SNR C-sequence Small forcing Almost Souslin Coherent tree Intersection model Fodor-type reflection Ascending path incompactness 54G20 Amenable C-sequence Uniformization Generalized Clubs weak Kurepa tree stationary hitting Uniformly coherent weak diamond Subtle tree property regressive Souslin tree square HOD specializable Souslin tree Forcing with side conditions Erdos Cardinal Postprocessing function Constructible Universe Selective Ultrafilter free Souslin tree tensor product graph Non-saturation Ramsey theory over partitions Strongly Luzin set Weakly compact cardinal strongly bounded groups Open Access weak square PFA free Boolean algebra Was Ulam right? Knaster and friends Precaliber Partition Relations Distributive tree
Tag Archives: Weakly compact cardinal
Was Ulam right? I: Basic theory and subnormal ideals
Joint work with Tanmay Inamdar. Abstract. We introduce various coloring principles which generalize the so-called onto mapping principle of Sierpinski to larger cardinals and general ideals. We prove that these principles capture the notion of an Ulam matrix and allow … Continue reading
Fake Reflection
Joint work with Gabriel Fernandes and Miguel Moreno. Abstract. We introduce a generalization of stationary set reflection which we call filter reflection, and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We … Continue reading
The eightfold way
Joint work with James Cummings, Sy-David Friedman, Menachem Magidor, and Dima Sinapova. Abstract. Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing … Continue reading
Strong failures of higher analogs of Hindman’s Theorem
Joint work with David J. Fernández Bretón. Abstract. We show that various analogs of Hindman’s Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1. There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that … Continue reading
Posted in Groups, Partition Relations, Publications
Tagged 03E02, 03E35, 03E75, 05A17, 05D10, 11P99, 20M14, Chang's conjecture, Commutative cancellative semigroups, Entangled linear order, Erdos Cardinal, Hindman's Theorem, Jonsson cardinal, Kurepa Hypothesis, Square-Brackets Partition Relations, Weakly compact cardinal, ZFC construction
1 Comment
The reflection principle $R_2$
A few years ago, in this paper, I introduced the following reflection principle: Definition. $R_2(\theta,\kappa)$ asserts that for every function $f:E^\theta_{<\kappa}\rightarrow\kappa$, there exists some $j<\kappa$ for which the following set is nonstationary: $$A_j:=\{\delta\in E^\theta_\kappa\mid f^{-1}[j]\cap\delta\text{ is nonstationary}\}.$$ I wrote there … Continue reading
Posted in Blog
Tagged reflection principles, square, stationary reflection, Weakly compact cardinal
Comments Off on The reflection principle $R_2$
Higher Souslin trees and the GCH, revisited
Abstract. It is proved that for every uncountable cardinal $\lambda$, GCH+$\square(\lambda^+)$ entails the existence of a $\text{cf}(\lambda)$-complete $\lambda^+$-Souslin tree. In particular, if GCH holds and there are no $\aleph_2$-Souslin trees, then $\aleph_2$ is weakly compact in Godel’s constructible universe, improving … Continue reading
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, Open Access, regressive Souslin tree, Souslin Tree, square, Weakly compact cardinal, xbox
16 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
