Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem

Peter Koepke. Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem. Journal of Symbolic Logic, 63(3):1137-1176, 1998.

Abstract

Abstract is missing.