בתשובה לאח של סמיילי, 27/10/05 16:46
The axiom of extensionality והנחת המבוקש 341504
האייל הצעיר • בתשובה לאח של סמיילי יום ה', 27/10/2005, 19:01
תוכל לפרט קצת על משפט בת'? לא מצאתי עליו מקורות מספיקים ברשת.
The axiom of extensionality והנחת המבוקש 341519
אח של סמיילי • בתשובה להאייל הצעיר יום ה', 27/10/2005, 19:40
כן: נניח שיש לנו שפה מסדר ראשון L, ונניח ש 'L מכילה אותה ויש בה עוד יחסים.
כמו כן יש לנו תורה שלמה בשפה L שנקרא לה T.
נאמר ש 'T היא הרחבה גדירה של T אם לכל יחס ב 'L , נניח R, יש נוסחה בשפה L כך ש 'T חושבת ש R שקול לנוסחה הזו. (שקול - שלכל n יה בעולם, R והנוסחה הזו מסכימים).
משפט בת': תנאי הכרחי ומספיק לכך ש 'T הרחבה גדירה של T הוא שלכל מודל של T יש הרחבה יחידה למודל של 'T.
בניסוח אחר, קצת פחות פורמלי - הגדרה סתומה היא בעצם הגדרה מפורשת.
The axiom of extensionality והנחת המבוקש 341873
האייל הצעיר • בתשובה לאח של סמיילי שבת, 29/10/2005, 12:59
וואלה, מעניין. תודה!
The axiom of extensionality והנחת המבוקש 341979
דורון שדמי • בתשובה לאח של סמיילי שבת, 29/10/2005, 18:45
"שלכל מודל של T יש הרחבה יחידה למודל של 'T."

האם הכתוב לעיל אומר שלכל מודל T יש מקבילה חד-משמעית ב-'T ?
The axiom of extensionality והנחת המבוקש 341983
אח של סמיילי • בתשובה לדורון שדמי שבת, 29/10/2005, 19:16
אני לא יודע אם זה טעות או בכוונה, אבל T הוא לא מודל, וחסרה בתגובה שלך המילה "של".
כמו כן, אני לא בטוח שאני מבין למה אתה מתכוון כשאתה אומר "מקבילה חד משמעית".
אני חושב שהניסוח שלי היה מאוד מובן, ואין צורך למצוא ניסוח אחר. אם אתה לא מבין אותו, תשאל.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות