This is a scanned typescript of the second (unpublished) part
original core model paper, The core model for sequences
of measures, II. The first part was published
as The core model for sequences of measures. I in
Math. Proc. Cambridge Philos. Soc., 95(2):229–260, 1984.
This is primarily, if not solely, of historical interest.
These files are 5 megabytes and 2.6 megabytes,
Section 4 – This section presents the fine
structure. It, particularly, is of only historical
interest since more modern approaches are much simpler
and more flexible.
- Sections 5, 6 and 7
— The main result of section 5 is that
comparisons by iterated ultrapowers terminate.
Section 6 covers the covering
lemma; Section 7 constructs the actual core model
and gives some applications.
Erratta For these papers as published in Volume three
of the Handbook of Set Theory
- page 1566: The last letter in clause 3 of
Definition 4.18 should be ξ, not ν.
- page 1592: In bibliography item number , the
author is "William", not "Wilmiam".