基斯勒-謝拉赫同構定理(Keisler-Shelah iso-morphism theorem)初等等價模型的代數判定定理.設ou},c}是語言獷的模型，則au三劣的充分必要條件是:存在一非空足碼集1及1上的超濾子D，使TTD0?}l- TTD.}.該定理把兩個模型的“初等等價”的模型論概念轉化為其超冪的同構的代數概念，因而有助於模型論問題與代數問題的溝通.
