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