Reducts of the random partial order

نتیجه ما با طبقه بندی مشابه مشابه برای گراف تصادفی و نظم منطقی، مقایسه می شود؛ همچنین شواهد بیشتری را برای حدس به دلیل سیمون توماس ارائه می دهد که بیان می کند که تعداد ساختارهای تعریف شده در یک ساختار همگن در یک زبان رابطه ای محدود، تا حد تعادلی مرتبه اول همیشه محدود است. در اثبات ما از روش جدیدی از توابع کانونی استفاده می کنیم؟ ابتدا در زمینه علوم رایانه نظری اختراع شد، که به تجزیه و تحلیل نظری رمزی سیستماتیک توابع عمل می کند که براساس دستورالعمل جزئی تصادفی است. این تکنیک الگوهایی را در توابع دلخواه در نظم جزئی تصادفی شناسایی می کند، که باعث می شود آنها برای استدلال محدود ترکیبی در دسترس باشند.