Boaz633
←יחס הסדר בין עוצמות הוא לינארי
-331
Boaz633
←שימושים
Boaz633
אין תקציר עריכה
+125
Boaz633
←יחס הסדר בין עוצמות הוא לינארי
+1
Boaz633
←יחס הסדר בין עוצמות הוא לינארי
+58
Boaz633
←יחס הסדר בין עוצמות הוא לינארי
+1,564
Boaz633
←יחס הסדר בין עוצמות הוא לינארי
+117
Boaz633
←יחס הסדר בין עוצמות הוא לינארי
+433
Boaz633
←קבוצות סדורות היטב
-242
Boaz633
←הלמה של צורן עבור משפחה של קבוצות
+222
Boaz633
←ניסוח
+186
Boaz633
←ניסוח
+131
עוזי ו.
←הגרסה החזקה של הלמה של צורן
+24
עוזי ו.
←ניסוח
+23
עוזי ו.
←ניסוח
+137
עוזי ו.
←הוכחת הלמה של צורן
+22
עוזי ו.
←הוכחת הלמה של צורן
+15
עוזי ו.
←קבוצות סדורות היטב
+67
עוזי ו.
←הגרסה החזקה של הלמה של צורן
+2
עוזי ו.
אין תקציר עריכה
+532
Boaz633
←קשרים לאקסיומות של המתמטיקה
+435
Boaz633
←קשרים לאקסיומות של המתמטיקה
-24
Boaz633
←קשרים לאקסיומות של המתמטיקה
+999
Boaz633
אין תקציר עריכה
+4
עוזי ו.
←הגרסה החזקה של הלמה של צורן
+61
עוזי ו.
←קבוצות סדורות היטב
+79
עוזי ו.
←הגרסה החזקה של הלמה של צורן
+2
עוזי ו.
←הגרסה החזקה של הלמה של צורן
+388
עוזי ו.
←קבוצות סדורות היטב
-5
עוזי ו.
←הוכחת הלמה של צורן
+376
עוזי ו.
←הוכחת הלמה של צורן
+693
עוזי ו.
אין תקציר עריכה
+6,167
עוזי ו.
←הוכחת הלמה של צורן
-6,167
Uzi
←שימושים
+593
Uzi
←קשרים לאקסיומות של המתמטיקה
+189
Uzi
←הוכחת הלמה של צורן מאקסיומת הבחירה
-30
Uzi
←הגרסה החזקה של הלמה של צורן
+25
Uzi
אין תקציר עריכה
+6,100