הבדלים בין גרסאות בדף "קטגוריות של תורות"

אין תקציר עריכה
ב[[לוגיקה מתמטית]], אומרים ש[[תורה (לוגיקה מתמטית)|תורה]] <math>T</math> היא '''קטגורית''' אם כל ה[[מודל (לוגיקה מתמטית)|מודלים]] שלה [[איזומורפיזם (לוגיקה מתמטית)|איזומורפיים]]. במקרה כזה, ניתן לומר שהמודל <math>M</math> של התורה, היחיד עד כדי איזומורפיזם, מגדיר אותה.
 
ב[[לוגיקה מסדר ראשון]], תורה קטגורית היא בהכרח בעלת מודלים סופיים בלבד. זו מסקנה ישירה מ[[משפט לוונהיים-סקולם]], שכן אם היה לה מודל אינסופי, אז היה לה מודל מכל עוצמה אינסופית (עם זאת, בלוגיקות מסדר גבוה יותר, יתכנו תורות קטגוריות בעלות מודלים אינסופיים: למשל ל[[אקסיומות פיאנו]] מסדר שני יש מודל אחד עד כדי איזומורפיזם, והוא <math>\mathbb{N}</math>). בנוסף, תורה קטגורית היא בהכרח [[תורה שלמה|שלמה]] (אך ההפך לא נכון; יש למשל תורות שלמות בעלות מודלים אינסופיים). זאת כי איזומורפיזם גורר שקילות אלמנטרית, ולכן כל שני מודלים של התורה שקולים אלמנטרית, וזאת אמ"מ היא שלמה.
2,196

עריכות