The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable
بناءً على نتيجة لين الاختراقية بأن MIP = coRE، تثبت هذه الورقة أن النظريات العالمية لـ جبر فون نيومان الأثري محلياً هي غير قابلة للتقرير، مما يثبت وجود عوامل II منفصلة صريحة بدون عروض تقديمية حاسوبية ويوفر دليلاً قوياً على حل سلبي لمسألة كيرشبرغ للاندماج.