A) The universe V B) The class of all sets C) A transitive inner model M D) A set of ordinals
A) E B) κ C) λ D) V
A) λ < κ B) λ > j(κ) C) κ ≤ λ ≤ j(κ) D) κ < λ < j(κ)
A) M to V B) V to V C) V to M D) κ to λ
A) A (κ,λ)-extender B) An elementary mapping C) A critical point D) A transitive inner model
A) A model of ZFC with no ordinals B) A type of set with no power set C) A specific type of nonprincipal ultrafilter D) A system of ultrafilters witnessing large cardinal properties
A) A nonprincipal ultrafilter B) A wellfounded ultrapower C) A (kappa, lambda)-extender D) A directed system of models
A) n B) lambda C) The cardinality of the model D) kappa
A) kappa B) The cardinality of the power set C) lambda D) n
A) kappa-complete principal ultrafilters B) kappa-complete power set filters C) kappa-incomplete nonprincipal ultrafilters D) kappa-complete nonprincipal ultrafilters
A) All E_a must be kappa-plus-complete B) All E_a must be non-kappa-complete C) At least one E_a is not kappa-plus-complete D) No E_a can be kappa-complete
A) It maps kappa to an ordinal less than lambda B) It fails the coherence property C) It is a nonprincipal ultrafilter D) It is wellfounded
A) They are all principal B) They do not form a limit C) They are all identical D) They form a directed system
A) All n-tuples of ordinals B) All subsets of lambda C) Ordinal numbers less than kappa D) Finite subsets of lambda |