דילוג לניווט ראשי דילוג לחיפוש דילוג לתוכן הראשי

On the binding group in simple theories

  • Ziv Shami
  • , Frank O. Wagner

פרסום מחקרי: פרסום בכתב עתמאמרביקורת עמיתים

5 ציטוטים ‏(Scopus)

תקציר

We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p′ interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p′ over all realizations of φ is type-definable.

שפה מקוריתאנגלית
עמודים (מ-עד)1016-1024
מספר עמודים9
כתב עתJournal of Symbolic Logic
כרך67
מספר גיליון3
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 2002
פורסם באופן חיצוניכן

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'On the binding group in simple theories'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי