דילוג לניווט ראשי
דילוג לחיפוש
דילוג לתוכן הראשי
האוניברסיטה הפתוחה בית
עזרה ושאלות נפוצות
English
עברית
العربية
בית
פרופילים
יחידות מחקר
פרסומים מחקריים
פרסים
פעילויות
חיפוש לפי מומחיות, שם או שיוך
On generically stable types in dependent theories
Alexander Usvyatsov
פרסום מחקרי
:
פרסום בכתב עת
›
מאמר
›
ביקורת עמיתים
סקירה כללית
טביעת אצבע
טביעת אצבע
להלן מוצגים תחומי המחקר של הפרסום 'On generically stable types in dependent theories'. יחד הם יוצרים טביעת אצבע ייחודית.
מיון לפי
משקל
לפי סדר האלפבית
Keyphrases
Generically Stable Type
100%
Dependent Type Theory
100%
Relation-aware
50%
Independence Relations
50%