A) A transitive inner model M
B) A set of ordinals
C) The class of all sets
D) The universe V

A) κ
B) V
C) E
D) λ

A) κ ≤ λ ≤ j(κ)
B) κ < λ < j(κ)
C) λ < κ
D) λ > j(κ)

A) V to M
B) V to V
C) M to V
D) κ to λ

A) A critical point
B) A (κ,λ)-extender
C) A transitive inner model
D) An elementary mapping

A) A system of ultrafilters witnessing large cardinal properties
B) A model of ZFC with no ordinals
C) A type of set with no power set
D) A specific type of nonprincipal ultrafilter

A) A directed system of models
B) A nonprincipal ultrafilter
C) A (kappa, lambda)-extender
D) A wellfounded ultrapower

A) n
B) kappa
C) lambda
D) The cardinality of the model

A) The cardinality of the power set
B) kappa
C) lambda
D) n

A) kappa-complete principal ultrafilters
B) kappa-incomplete nonprincipal ultrafilters
C) kappa-complete nonprincipal ultrafilters
D) kappa-complete power set filters

A) All E_a must be non-kappa-complete
B) At least one E_a is not kappa-plus-complete
C) All E_a must be kappa-plus-complete
D) No E_a can be kappa-complete

A) It fails the coherence property
B) It is wellfounded
C) It is a nonprincipal ultrafilter
D) It maps kappa to an ordinal less than lambda

A) They are all identical
B) They do not form a limit
C) They form a directed system
D) They are all principal

A) All subsets of lambda
B) Finite subsets of lambda
C) Ordinal numbers less than kappa
D) All n-tuples of ordinals