HOME / CALENDAR / Logic Seminar - Saharon Shelah

Logic Seminar - Saharon Shelah

Date: 
Wed, 31/05/202311:00-13:00
Location: 
Zoom
Title: Abelian groups and infinitely logics  
 
Joint work with Asgharzadeh, M., Golshani, M.
 
עוד משנות הארבעים הוכח כי לתורה מסדר ראשון יש חילוץ כמתים במובן הבא.
כל נוסחה שקולה לצרוף בוליאני של נוסחות הנמצאות בסגור של 
קבוצת הנוסחות האטומיות תחת גימום (= קוניונקציות) והפעלת הכמת הישי.
 ננסה לראות מה קורה לגבי ללוגיקות אינסופיות. 
שאלה אחרת היא האם אפשר לבנות בכל עוצמה חבורה חילופית 
שאיננה פריקה באופן מוחלט - כלומר גם אחרי כפיה, שאלה שהעלה נדל.
הרבה אחר כך הוכח ב [977] כי משפט מקביל נכון בתנאי שנעשיר
את החבורה במספיק קבועים אישיים. 
נשתדל להוכיח כי אם נוסיף כמת מתאים נקבל חילוץ מלא ולהראות כי