(This is the eleventh lecture in Stevo Todorcevic’s Forcing class, held in the fall of 2012. You can find the tenth lecture here. Quotes by Stevo are in dark blue; some are deep, some are funny, some are paraphrased so use your judgement. As always I appreciate any type of feedback, including reporting typos, in the comments below.)
- Baumgartner’s Axiom is introduced.
- A combinatorial lemma is proved, which really shows that a certain poset is proper.
- Some words are said about the productivity of chain conditions.
The Problem with Density
“We test this on the usual place where people get stuck, which is Baumgartner’s Axiom.“
Recall: A set is -dense if every open interval contains -many elements of .
BA(): Every two -dense sets of reals are isomorphic.
Theorem (Cantor, ???): BA() is true.
“Try to find out for yourself when he discovered this. It is interesting to see what depends on what.“
Theorem (Baumgartner, 1973): BA() is consistent, and is a consequence of PFA.
“The proof of this is really a great advance. It is the beginning of OCA and many great things in set theory.“
Theorem (Todorcevic, 1981): OCA implies BA() is false.
Question (Baumgartner, 1973): Is BA() consistent?
“PFA is really Baumgartner’s axiom.“
The ccc in Baumgartner’s original proof can be seen (“although this was probably very difficult to see“) as the higher dimensional analogue of the classical construction of which is not continuous on any set of reals of size .
Theorem (Galvin): The ccc is not productive under the CH.
(Personal Aside – Mike. When Matthew Foreman visited Toronto in November 2012 he gave 3 nice talks which focused on large cardinals in mathematics. He refered to the ccc and the CH. I think it has stuck with me.)
“Of course this follows from the Sierpinski function.“
Enumerate all partial borel functions (of which there are ) and diagonalize against.
“So the observation is that the poset is barely ccc.“
So in particular, cof-cc is not productive.
Definition. A finite partial function is separated by an -chain of CESMs of if:
- such that and ;
- such that iff ;
- partial function from some to , for all . (This is “the higher dimension business.”)
“Forget about the density, focus on the combinatorics.”
Lemma. Suppose are as above, with increasing, and . Also, let be a family of finite, partial, increasing functions from into such that . THEN there is an such that is increasing.
“This is a ccc or properness lemma.”
“ should be thought of as a copy.”
Note. “Increasing” is not needed; you just need to know its behaviour.
proof (by induction on ).
Let . May assume for all .
, The Classical Case.
Suppose we can’t copy, then for every we have and .
“You can approach it arbitrarily close from the left or the right. I don’t care which; I just need one side.“
Suppose this approaches arbitrarily close to and define . Now and , a contradiction.
“This is the classical argument in today’s language. The key is that is outside of the model, so is immense.“
Inductive step to .
The reduction is the same. We are going to remove something and go to a smaller dimension. What do we remove?
There is an “a” such that is outside the model, the furthest. The models linearly order the range.
Now it becomes tricky. What is it you’re going to say “approaches from the left”?
so and . Here is just a relation that means “is close to”, in some way.
If for every such , when you supplement to , the union is not increasing then we can define a function from such that .
Here . So the “inf” definition () becomes close and increasing. [END OF PROOF]
“So that’s that: The first ZFC example of a chain condition that is not productive. Actually … it is the second.“
“I produced a set of entangled reals for you, of size .”
“This lemma immediately implies some obvious poset is proper.”
“Baumgartner was suffering to get density. Somehow we are cheating, ignoring the range. What this is really doing? We need to call it something.“