Archives
Keywords
Constructible Universe Precaliber Absoluteness approachability ideal Was Ulam right? PFA(S)[S] Distributive tree Club Guessing Dushnik-Miller unbounded function specializable Souslin tree Vanishing levels Axiom R HOD Chromatic number Lipschitz reduction Greatly Mahlo Countryman line higher Baire space square principles Foundations Chang's conjecture Luzin set SNR Mandelbrot set S-Space middle diamond P-Ideal Dichotomy Subtle cardinal Successor of Singular Cardinal Ostaszewski square Singular cofinality AIM forcing Cardinal Invariants Parameterized proxy principle Respecting tree Rado's conjecture Closed coloring Ascent Path sap PFA Square-Brackets Partition Relations Souslin Tree Subtle tree property GMA stationary reflection Coherent tree Large Cardinals countably metacompact Cardinal function L-space ccc Hedetniemi's conjecture Commutative cancellative semigroups Rainbow sets Subadditive club_AD Almost-disjoint family Forcing Intersection model Knaster Cohen real Analytic sets Subnormal ideal full tree Diamond-sharp weak diamond Partition Relations Small forcing Whitehead Problem xbox OCA Strongly compact cardinal Sierpinski's onto mapping principle weak square Weakly compact cardinal Almost countably chromatic Aronszajn tree Singular cardinals combinatorics stationary hitting Strongly Luzin set Uniformly homogeneous indecomposable ultrafilter Generalized descriptive set theory Commutative projection system tensor product graph Prikry-type forcing C-sequence Well-behaved magma free Souslin tree Non-saturation Successor of Regular Cardinal Uniformization reflection principles Ramsey theory over partitions free Boolean algebra Reduced Power weak Kurepa tree Generalized Clubs Singular Density incompactness Microscopic Approach Erdos Cardinal positive partition relation Hindman's Theorem Diamond for trees Fat stationary set Minimal Walks transformations Almost Souslin Uniformly coherent Erdos-Hajnal graphs Open Access Reflecting stationary set Sakurai's Bell inequality Filter reflection very good scale Ulam matrix stick Poset Rock n' Roll Diamond Postprocessing function Jonsson cardinal Shelah's Strong Hypothesis Nonspecial tree super-Souslin tree Kurepa Hypothesis Fodor-type reflection diamond star Martin's Axiom b-scale Hereditarily Lindelöf space regressive Souslin tree Sigma-Prikry 54G20 Antichain strongly bounded groups coloring number Knaster and friends Prevalent singular cardinals projective Boolean algebra square nonmeager set polarized partition relation Slim tree Fast club Selective Ultrafilter Dowker space Amenable C-sequence Strong coloring Ineffable cardinal ZFC construction Iterated forcing Forcing Axioms O-space Local Club Condensation. Universal Sequences
Tag Archives: weak square
A remark on Schimmerling’s question
Joint work with Ari Meir Brodsky. Abstract. Schimmerling asked whether
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
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
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
Young Researchers in Set Theory, March 2011
These are the slides of a talk I gave at the Young Researchers in Set Theory 2011 meeting (Königswinter, 21–25 March 2011). Talk Title: Around Jensen’s square principle Abstract: Jensen‘s square principle for a cardinal
