The Mitchell order below rank-to-rank

Itay Neeman.

Abstract:

We show that Mitchell order on downward closed extenders below

rank-to-rank type is wellfounded.