الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية المجموعاتالأعداد الترتيبية القابلة للحساب (Computable Ordinal)
الرياضيات, الرياضيات التأسيسية, المنطق الرياضي, نظرية المجموعات, نظرية النماذجالمجموعة المقبولة (Admissible Set)
البرمجة, الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوبإشباع الوحدات النمطية (Satisfiability Modulo Theories)
البرمجة, الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوبالتعامد (إعادة كتابة المصطلحات) (Orthogonality (term rewriting))
الرياضيات, الفلسفة الرياضية, المنطق الرياضي, نظرية المجموعاتالنقطة الحرجة (نظرية المجموعات) (Critical Point (set theory))