نظرية ماركوفسكي (نظرية الترتيب)

في الرياضيات، تنص نظرية ماركوفسكي على ما يلي: كل مجموعة جزئية مرتبة كاملة السلسلة هي مجموعة جزئية مرتبة كاملة السلسلة حيث

• تكون المجموعة المرتبة جزئياً كاملة السلسلة إذا كان لكل سلسلة فيها حد أعلى أدنى.
• تُعتبر المجموعة المرتبة جزئياً مجموعة مرتبة جزئياً ذات حد أعلى أدنى إذا كان لكل مجموعة موجهة فيها حد أعلى أدنى.

بما أن dcpo عبارة عن سلسلة كاملة (حيث أن السلسلة موجهة)، فإن عكس النظرية أمر بديهي.

يستخدم أحد البراهين المعروفة ليمّة إيوامورا والأعداد الترتيبية . ^{[ 1 ]}

• ماركوفسكي، جورج (1976). "المجموعات المرتبة جزئيًا الكاملة والمجموعات الموجهة مع تطبيقاتها". الجبر الشامل . 6 : 53-68 . doi : 10.1007/BF02485815 .
• جوبولت لاريك ، جان (23 فبراير 2015). ""إيوامورا ليما، نظرية ماركوفسكي والأعداد الترتيبية" . " تم الاسترجاع في 6 يناير 2024 .
• جوبولت-لاريك، جان (28 يناير 2018). "ماركوفسكي أم كوهن؟" . تم الاطلاع عليه في 6 يناير 2024 .