نظرية النوع المكعب

في المنطق الرياضي وعلوم الحاسوب النظرية ، تعد نظرية النوع المكعبة نوعًا من نظرية النوع التي تعطي تفسيرًا حسابيًا للأسس أحادية القيمة (المعروفة أيضًا باسم نظرية نوع التماثل ).

في نظرية النوع المكعبة، لا يُفترض امتداد الدوال ووحدانيتها كمسلمات ، بل يمكن إثباتهما كنظريات. وخلافًا لنظرية النوع التقليدية القائمة على التماثل، حيث تُنشئ مسلمة الوحدانية حدودًا مغلقة عالقة، تتمتع نظرية النوع المكعبة بخاصية التَعَظُّم . ^{[ 1 ]} كما أنها تتمتع بخاصية التَّعَيُّز . ^{[ 2 ] [ 3 ]}

ويتحقق ذلك من خلال إضافة العناصر الهندسية الأولية إلى القواعد الأساسية لنظرية النوع، بما في ذلك كائن الفاصل الزمني الرسمي، ومتغيرات الفاصل الزمني، وعمليات ملء المكعبات الجزئية.

أقدم نظرية من نوع المكعب هي نظرية CCHM من نوع المكعب، والتي سُميت نسبةً إلى مخترعيها كوهين، وكوكاند ، وهوبر، ومورتبرغ. ^{[ 4 ]} ومن بين المتغيرات اللاحقة نظرية ديكارت من نوع المكعب. ^{[ 5 ] [ 6 ]}

تتمتع نظريات النوع المكعب بدلالات في أنواع مختلفة من المجموعات المكعبة .

يتضمن مساعد إثبات أغدا تطبيقًا لنظرية النوع المكعب ^{. [ 7 ] [ 8} ]

• نظرية النوع المكعب في مختبر ن