الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية المجموعاتالأعداد الترتيبية القابلة للحساب (Computable Ordinal)
آلة تورينج, علوم الحاسوب, نظرية الحوسبة, نماذج الحسابآلة تورينج متعددة الأشرطة (Multi-tape Turing Machine)