מונה קומפקטי חלש – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
עריכה |
|||
שורה 24:
במובן הזה, לא ניתן לתאר את κ כמונה הראשון בו מתקיימת תכונה מסויימת ב-<math>V_\kappa</math> (אפילו כאשר אנחנו מתירים שימוש בכמת כולל אחד מסדר שני ובפרמטר שמייצג קבוצה כלשהי) - תמיד יהיה סודר קטן יותר בו התכונה הזו מתקיימת במודל הקטום <math>V_\alpha</math>.
המונה הקומפקטי-חלש הראשון אינו <math>\Pi^1_2</math> אי-תאיר, כי ניתן לתאר אותו על ידי המשפט "לכל פונקציה מאוסף הזוגות הלא סדורים ל-{0,1} קיימת תת קבוצה הומוגנית".
== קומפקטיות בשפות אינסופיות ==
ניתן לאפיין מונים קומפקטים חלשים בעזרת מונחים מ[[תורת המודלים]]. מאפיינים אלו העניקו למונים את שמם.
| |||