מונה אי נשיג – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
רועי.ס (שיחה | תרומות)
←‏הגדרה: תיקון קישור לדף פירושונים
מ ←‏תכונות: תיקון קישור
שורה 13:
 
== תכונות ==
כל אי-נשיג חזק הוא גם אי-נשיג חלש, וההפך מתקיים בהנחת [[השערת הרצף המוכללת|GCH]] (GCH). ללא הנחת GCH, ניתן להראות על ידי [[כפייה (לוגיקה מתמטית)|כפייה]] כי בהנחה שקיים אי נשיג [[קונסיסטנטיותעקביות (לוגיקה)|מתיישב]] שאפילו <math>2^{\aleph_0} </math> הוא אי-נשיג חלש.
 
מונה אי נשיג חלש, יישאר גבולי וסדיר כאשר נצמצם את ההתייחסות למחלקה L, ושם - כיוון ש-GCH מתקיים, הוא יהיה אי-נשיג חזק.