5 citations · 5 across the 6 of their papers we have counts for
4 papers · 1 filter
The Jensen covering property
Ernest Schimmerling, W. Hugh Woodin
An optimal extension of the Jensen covering lemma, within the limits imposed by Prikry forcing, is proved. If L[E] is an "iterable" weasel with no measurable cardinals, then either…
The covering lemma up to a Woodin cardinal
William J. Mitchell, Ernest Schimmerling, John R. Steel
A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be th…
The maximality of the core model
Ernest Schimmerling, John R. Steel
If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several a…
holds in
Ernest Schimmerling
Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.