Level Compactness. - Gillman Payette; Blaine d'Entremont (Notre Dame J. Formal Log., 2006)