תורת המודלים ושימושיה

המטרה של הקורס תהיה להציג שימושים של תורת המודלים (תחום בלוגיקה מתמטית) בתחומים שונים במתמטיקה. הכיוונים הספציפיים ייקבעו בהמשך, בתיאום עם הסטודנטים, אבל עשויים לכלול אחד או יותר מהנושאים הבאים:

• תורה אלגברית של משוואות דיפרנציאליות (תורת גלואה, תורת מימד, מיון משוואות ממימד 1)
• תורת מודלים של שדות הערכה (דמיוניים, אינטגרציה, מרחבים אנליטיים)
• או-מינימליות, שימושים אריתמטיים
• שדות עם אוטומורפיזם, משוואות הפרש, שימושים למערכות דינמיות, התורה האסימפטוטית של הפרובניוס
• תורת מודלים רציפה, שימושים לאלגבראות אופרטורים, מרחבי הסתברות ועוד רקע מלוגיקה ומהתחומים הרלוונטיים יינתן לפי הצורך