Quantitative classical realizability

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