Archives
Keywords
Mandelbrot set Rock n' Roll AIM forcing countably metacompact Forcing Axioms Martin's Axiom Rainbow sets Luzin set Prikry-type forcing Parameterized proxy principle reflection principles ZFC construction Strongly compact cardinal Dowker space Large Cardinals weak square Square-Brackets Partition Relations higher Baire space club_AD Chromatic number positive partition relation square principles stationary reflection specializable Souslin tree Hedetniemi's conjecture tensor product graph Cardinal function transformations diamond star 54G20 Knaster and friends Universal Sequences Diamond Constructible Universe Club Guessing very good scale Lipschitz reduction Greatly Mahlo Singular cardinals combinatorics Uniformization Singular cofinality HOD Antichain Subadditive sap Closed coloring weak Kurepa tree Successor of Singular Cardinal strongly bounded groups xbox Erdos-Hajnal graphs Sierpinski's onto mapping principle Subnormal ideal ccc nonmeager set regressive Souslin tree Successor of Regular Cardinal Generalized descriptive set theory Microscopic Approach Open Access Countryman line Intersection model Sakurai's Bell inequality Slim tree Diamond-sharp super-Souslin tree Diamond for trees Kurepa Hypothesis Commutative projection system Jonsson cardinal Precaliber weak diamond Prevalent singular cardinals Commutative cancellative semigroups Almost countably chromatic Subtle tree property P-Ideal Dichotomy Ineffable cardinal Forcing Was Ulam right? Generalized Clubs Almost Souslin Small forcing Postprocessing function SNR Cohen real Rado's conjecture Fodor-type reflection Absoluteness Weakly compact cardinal Knaster square Reflecting stationary set Respecting tree Ramsey theory over partitions Coherent tree coloring number Fat stationary set Ostaszewski square Strong coloring PFA(S)[S] Ulam matrix b-scale Chang's conjecture Poset Hindman's Theorem projective Boolean algebra Reduced Power Amenable C-sequence OCA Local Club Condensation. Subtle cardinal indecomposable filter O-space Cardinal Invariants Vanishing levels Hereditarily Lindelöf space Axiom R C-sequence Shelah's Strong Hypothesis Souslin Tree free Souslin tree polarized partition relation Well-behaved magma L-space approachability ideal full tree Almost-disjoint family Nonspecial tree Ascent Path stationary hitting Strongly Luzin set S-Space Dushnik-Miller GMA middle diamond Erdos Cardinal Analytic sets Sigma-Prikry Partition Relations Iterated forcing Uniformly homogeneous Whitehead Problem stick Filter reflection unbounded function Singular Density incompactness Distributive tree Non-saturation PFA Minimal Walks Uniformly coherent Foundations Fast club free Boolean algebra Aronszajn tree Selective Ultrafilter
Category Archives: Blog
An inconsistent form of club guessing
In this post, we shall present an answer (due to P. Larson) to a question by A. Primavesi concerning a certain strong form of club guessing. We commence with recalling Shelah’s concept of club guessing. Concept (Shelah). Given a regular … Continue reading
c.c.c. forcing without combinatorics
In this post, we shall discuss a short paper by Alan Mekler from 1984, concerning a non-combinatorial verification of the c.c.c. property for forcing notions. Recall that a notion of forcing
Dushnik-Miller for singular cardinals (part 2)
In the first post on this subject, we provided a proof of
Posted in Blog, Expository
Tagged Dushnik-Miller, Partition Relations, Singular cardinals combinatorics
27 Comments
Dushnik-Miller for regular cardinals (part 2)
In this post, we shall provide a proof of Todorcevic’s theorem, that
Posted in Blog, Expository
Tagged b-scale, Dushnik-Miller, Partition Relations, Square-Brackets Partition Relations
5 Comments
Dushnik-Miller for singular cardinals (part 1)
Continuing the previous post, let us now prove the following. Theorem (Erdos-Dushnik-Miller, 1941). For every singular cardinal λ, we have:
Dushnik-Miller for regular cardinals (part 1)
This is the first out of a series of posts on the following theorem. Theorem (Erdos-Dushnik-Miller, 1941). For every infinite cardinal
The order-type of clubs in a square sequence
Recall Jensen’s notion of square: Definition (Jensen): For an infinite cardinal
Music Video: “Wide Open” by Jenny Mayhem
Did you notice the toolbar at the bottom of my posts? e.g.:
Posted in Blog, OffMath
2 Comments