Index

Fcr-set, 207

Gs-set, 207

Q-embedding of a tree, 41

T2-space, 210

T3-space, 210

X-principle, 144

^-sequence, 144

0-principle, 141

C-sequence, 142

l-principle, 145

Ki-separation property, 201

A-system, 67

K-Aronszajn tree, 36

K-Kurepa tree, 30

tt-chain condition

in a Boolean algebra, 19

in a l.o., 44

in a p.o., 7

in a topological space, 211

/^-closed p.o., 6

/^-directed closed p.o., 6

/^-extension property, 201

K-scale, 76

K-tree, 36

/^-universal model, 201

«,A*)-gap, 117

{K, A*)-pregap, 117

A-independent family, 84

7r-base, 211

7r-weight

of a Boolean algebra, 203

of a topological space, 211

cr-centered p.o., 91

cr-field, 13

cr-linked p.o., 91

Los' Theorem, 9

absolute formula, 168

accumulation point, 207

additivity

of a measure, 147

of an ideal, 74

almost contained in, 102

almost disjoint families, 119

almost disjoint family, 82, 127

always first category set, 76

amoeba forcing, 92

antichain

in a p.o., 6

in a tree, 40

antidiscrete topology, 208

Aronszajn line, 43

Aronszajn tree, 36

atom

of a Boolean algebra, 188

of a measure, 153

atomic formula, 159

atomic measure, 153

atomless measure, 153

Baire Category Theorem, 213

Baire property, 14

Balcar-Vojtas Theorem, 200

base

of a topology, 207

of an ideal, 72

Baumgartner-Komjath Theorem, 204

Boolean algebra, 14

atomic, 188

atomless, 188

canonical homomorphism, 188

complement, 16

complete, 19

217