استواره لونهایم-اسکولم سربالا

همچنین شناخته شده با: قضیه‌ی لونهایم-اسکولم سربالا
برابر انگلیک (انگلیسی): Downward Lowenheim-Skolem Theorem Downward Löwenheim-Skolem Theorem


تاربرگ‌های پیموده‌شده در این نشست: On a Property of the Collection of All Real Algebraic Numbers جان ام. ای. مک‌تاگارات بنداشت ناپادگویی Justification Strict implication استواره لونهایم-اسکولم سربالا