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
Previous Page Next Page