Index

A*, 9 0

Coll(a,X), 124

Collia,0), 124

M-extender, 2 8

M-normal ultrafHter , 3 6

M-ultrafilter, 3 6

M(X), 8 6

XUJ,

14

Xk,

14

T-scale, 104

r5, io o

ruB,

io o

^-logic, 6 8

V ^ , 3 8

AX, 3 8

5-weakly homogeneousl y Susli n set , 2 0

oo-homogeneously Susli n set , 9 8

oo-weakly homogeneousl y Susli n set , 2 0

/^-complete Boolea n algebra , 123

/^-complete ultrafilter , 2

K-homogeneous tree , 9 7

K-homogeneously Susli n se t o f reals , 9 8

/^-universally Bair e se t o f reals , 100

A-Suslin, 18

A-supercompact cardinal , 7 0

(5-^4-strong cardinal , 3 3

^-homogeneous tree , 9 8

ft-homogeneously Susli n set , 9 8

P„,51

Poo, 5 1

Q„,78

o-o * o-i , 107

VS, 123

AS, 123

cp(j)i

4

m(XUJ),

14

sp(D), 62 , 7 9

u2, 4 0

analytic set , 18

canonical extensio n o f a measure , 7

capturing a predens e set , 6 2

Chang model , 3

closed unbounde d se t (generalized) , 4 9

closed unbounde d se t o f ordinals , 3 8

closure unde r finit e sequences , 8 6

complete Boolea n algebra , 123

complete Boolea n subalgebra , 123

completely Jonsso n cardinal , 5 5

completeness o f a measure , 2

completeness o f a n ultrafilter , 2

countable completeness , 2

countable towe r Q K, 7 8

count ably complet e tower , 15

count ably complet e ultrafilter , 2

critical point , 4

diagonal intersection , 6 , 3 8

diagonal union , 3 8

elementary embedding , 1

end-extension, 6 2

extender, 2 9

extender embedding , 2 8

filter, 1

finite additivity , 2

generic ultrafilter , 3 7

generic ultrapower , 3 7

homogeneous tree , 9 8

homogeneously Susli n se t o f reals , 9 8

ideal, 1

Martin's Maximum , 4 0

measurable cardinal , 2

measure, 2

nonprincipal measure , 3

nonprincipal ultrafilter , 2

131