Satz der Auslassung von Typen

Ein Satz, der Voraussetzungen angibt, unter denen eine abzählbare konsistente erste‑Ordnungstheorie ein Modell besitzt, das eine angegebene Menge von nicht‑prinzipiellen (nicht isolierten) Typen auslässt; klassisch formuliert für abzählbare Sprachen und abzählbare Familien solcher Typen.