Archives
Keywords
Aronszajn tree Club Guessing Cardinal function Square-Brackets Partition Relations polarized partition relation higher Baire space Weakly compact cardinal super-Souslin tree Luzin set regressive Souslin tree coloring number S-Space Chromatic number Sigma-Prikry Filter reflection unbounded function transformations Subnormal ideal Shelah's Strong Hypothesis Uniformization Hedetniemi's conjecture Nonspecial tree PFA(S)[S] Slim tree Successor of Regular Cardinal Forcing weak diamond Diamond for trees diamond star very good scale Ineffable cardinal Forcing Axioms Universal Sequences Vanishing levels Hereditarily Lindelöf space reflection principles Fast club Parameterized proxy principle Ostaszewski square Singular cardinals combinatorics Cohen real full tree PFA projective Boolean algebra Mandelbrot set Precaliber Subtle tree property stick Sierpinski's onto mapping principle Strong coloring weak square indecomposable ultrafilter Axiom R stationary hitting middle diamond Lipschitz reduction Knaster b-scale Non-saturation Analytic sets Almost Souslin Chang's conjecture strongly bounded groups Diamond-sharp Partition Relations Kurepa Hypothesis Was Ulam right incompactness Reduced Power free Boolean algebra Iterated forcing Fodor-type reflection Prevalent singular cardinals Absoluteness Fat stationary set Generalized descriptive set theory free Souslin tree Uniformly coherent weak Kurepa tree Microscopic Approach Whitehead Problem Foundations Cardinal Invariants Subtle cardinal Minimal Walks Open Access Successor of Singular Cardinal Jonsson cardinal nonmeager set Singular Density Dowker space Generalized Clubs Erdos-Hajnal graphs P-Ideal Dichotomy L-space SNR Subadditive Commutative cancellative semigroups stationary reflection Almost countably chromatic Antichain Martin's Axiom xbox Ulam matrix Reflecting stationary set Distributive tree Poset Souslin Tree specializable Souslin tree Dushnik-Miller Ramsey theory over partitions Rado's conjecture Coherent tree Constructible Universe positive partition relation ccc Erdos Cardinal sap O-space Prikry-type forcing Large Cardinals square principles GMA C-sequence ZFC construction Postprocessing function Diamond 54G20 Small forcing AIM forcing Selective Ultrafilter Rainbow sets OCA HOD Ascent Path Hindman's Theorem Uniformly homogeneous Almost-disjoint family approachability ideal Sakurai's Bell inequality square Closed coloring countably metacompact Well-behaved magma Singular cofinality club_AD Strongly Luzin set Rock n' Roll Local Club Condensation. tensor product graph Amenable C-sequence Knaster and friends Greatly Mahlo
Blog Archives
Square principles
Since the birth of Jensen’s original Square principle, many variations of the principle were introduced and intensively studied. Asaf Karagila suggested me today to put some order into all of these principles. Here is a trial. Definition. A square principle … Continue reading