קבוצות סדורות וקבוצות סדורות היטב. סודרים. תכונות של סדרים קוויים. יחידות סדר קווי צפוף בן-מניה ללא קצוות.
הקבוצה של כל הסודרים הסופיים. בניית הטבעיים. אינדוקציה.
קבוצות בנות מנייה. בניית הרציונלים.
בניית המספרים הממשיים.
עצמות. משפט קנטור-ברנשטיין.
קבוצות לא ניתנות להימנות.
אקסיומת הבחירה וניסוחיה השקולים (עיקרון הסדר הטוב, הלמה של צורן).
שימושים של אקסיומת הבחירה. אינדוקציה על סופית.
לאורך הקורס נראה שימושים של הכלים באלגברה, בלוגיקה, בתורת הגרפים, במרחבים אוקלידים ובקומבינטוריקה אינסופית.
ספרות מומלצת
H. Enderton, Elements of Set Theory
אברהם שמוקלר, מבוא לתורת הקבוצות.
במהדורות מאוחרות יותר, שם המחבר הוא שמרון.
שמואל ברגר, תורת הקבוצות בהוצאת האוניברסיטה הפתוחה
רשימות של פרופסור אסף רינות (קישור באתר)
שינוי אחרון: 19/04/2020, 11:39