# Red workbook, p15

### Source

### Transcript

#### Left page

- Forcing möglich?
- Für strongly summable? kaputtmachen???????
- Bem (* [[circled]]) [[boxed]]

#### Right page

- [4.] Eine "elementare" Charakterisierung von "zentral"
- 4.1 Def.
Setze - (a)
Teilbaum von . - Notiz:
IP <=> hat unendlichen Zweig - tatsaechlich bei konstruktion von IP-Menge zeigt man,
- dass es sehr viele unendliche Zweige gibt
- SK: sogar perfekter Baum

- (b) Fuer
Teilbaum, setze [[a diagram: the tree and the set of successors ]]

- (a)
- 4.2 Satz [14.25 in HS]
- Fuer
aequivalent: (a) zentral - (b)
Teilbaum mit (2) cwpws - (1)

- (1)
- Solches
heisst -tree [in HS].

- (b)

- Fuer

### partial Translation

#### Left page

- Forcing possible?
- For strongly summable? destroying???????

#### Right page

- [4.] An "elementary" Characterization of "central"
- 4.1 Definition. For
define: - (a)
subtree of . - Note:
IP <=> includes an infinite branch - in fact, in the construction of IP-set one shows that there are many infinite branches
- Sabine Koppelberg: in fact, a perfect subtree.

- (b) For
subtree, define [[the successor set]]

- (a)
- 4.2 Theorem [14.25 in HS]
- For
TFAE: - (a)
central - (b)
subtree with - (2)
cwpws (collectionwise piecewise syndetic) - (1)

- (2)
- Such
is called -tree [in HS].

- (a)

- For

### Notes

We're getting to some serious results here. The "tree characterization" of centrality is, I think, not known (or not appreciated) widely enough. It might be a lot to wrap your mind around as a student but this might be one of the better ways of providing some insights into the notion of cwpws sets.

This page is very amusing. The random note on destroying strongly summable ultrafilters is what occupied a large part of my postdoctoral research. Apparently it took me a while to realize this is an interesting question. Come to think of it, Francois and I also spent quite a bit of time on the tree characterization; makes me want to skip ahead to a postdoc notebook...