منطق رياضي

رياضيات, علوم الحاسوب, منطق رياضي, نظرية الحسابية

نظرية الأساس (Basis Theorem)

جبر بولياني, رياضيات, علوم الحاسوب, منطق رياضي

تشاكل ثنائي القيمة (2-valued Morphism)

رياضيات, علماء رياضيات فرنسيون, منطق رياضي, نظرية المجموعات

رولان فرايساي (Roland Fraïssé)

علوم الحاسوب, منطق رياضي, نظرية الحسابية, نظرية النموذج

نظرية تراختنبروت (Trakhtenbrot’s theorem)

رياضيات, علوم الحاسوب, منطق رياضي, نظرية المجموعات

مُبرهنة هيغمان (Higman’s Lemma)

أسس الرياضيات, رياضيات, منطق رياضي, نظرية النموذج

غير المتميّزات (Indiscernibles)