الجامعات في أستراليا 
الجامعات في كندا 
الجامعات في ألمانيا 
الجامعات في ايرلندا 
الجامعات في الأردن 
الجامعات في نيوزلندا 
الجامعات في السعودية 
الجامعات في المملكة المتحدة 
الجامعات في الولايات المتحدة 
ملخص
يقع هذا المشروع في العلاقة بين نظرية النموذج (المنطق الرياضي)، ونظرية المجموعة والتوافقيات. الأهداف الرئيسية للدراسة هي مجموعات يمكن تعريفها في هياكل مختلفة، والتي يمكن أن تكون ذات طبيعة طوبولوجية/هندسية، مثل الهياكل ذات الحد الأدنى والتوسعات المروضة لها، أو بشكل عام ذات طبيعة اندماجية، مثل الهياكل ذات NIP (وليس خاصية الاستقلال). تعتبر خاصية NIP أيضًا ذات أهمية للإحصاءات والتعلم الآلي.
في بيئة الحد الأدنى، تم فهم المجموعات القابلة للتعريف إلى حد ما، ولعل النتيجة الأكثر بروزًا هي حل تخمين بيلاي، الذي يرسم علاقة واضحة بين تلك المجموعات ومجموعات لي الحقيقية. سيتم في هذا المشروع دراسة امتدادات تخمين بيلاي في واحدة من التوسعات العديدة المحتملة للهياكل ذات الحد الأدنى. تشمل الأمثلة الملموسة توسيع المجال الحقيقي بواسطة مسند لـ (أ) مجموعة الأعداد الجبرية الحقيقية، (ب) مجموعة مستقلة كثيفة، (ج) مجموعة جميع القوى العقلانية للعدد 2، (د) مجموعة جميع القوى الصحيحة للعدد 2، أو (هـ) أي مجموعة فرعية من المجموعة المضاعفة الحقيقية مع خاصية مان. وقد شهدت هذه الإعدادات مؤخرًا تطوير أدوات نظرية النموذج، والتي سيتم استخدامها في هذا المشروع.
في إعداد NIP الأكثر عمومية، يتوفر عدد أقل من الأدوات، وستتضمن الأسئلة الملموسة أولاً تطوير فهم المجموعات القابلة للتعريف في توسعات NIP للهياكل ذات الحد الأدنى، ثم تطبيقها على دراسة المجموعات القابلة للتعريف.
سيستفيد المتقدم الناجح من مجموعة بحثية كبيرة ونابضة بالحياة بشكل استثنائي في المنطق الرياضي، بما في ذلك 7 أعضاء هيئة تدريس دائمين من ذوي الخبرة في نظرية النماذج ونظرية المجموعات ونظرية العودية ونظرية الإثبات والمنطق القاطع والمنطق في علوم الكمبيوتر. تضم مجموعة المنطق دائمًا أيضًا العديد من طلاب ما بعد الدكتوراه والدكتوراه، وتدير 4 سلاسل من الندوات المنتظمة، وهي بمثابة عقدة للعديد من شبكات البحث الإقليمية والدولية. تعد المجموعة مشاركًا نشطًا في اتحاد MAGIC، الذي يقدم دورات محاضرات متخصصة لطلاب الدراسات العليا في الرياضيات في شبكة مكونة من 20 جامعة في المملكة المتحدة.