עץ אהרונשיין

בתורת הקבוצות, עץ אהרנשיין הוא עץ שכל שלביו וכל ענפיו בני מניה לכל היותר, ועם זאת הוא אינו בן מניה בעצמו. קיומו של עץ כזה מפריך את הכללת הלמה של קניג עבור עצמות הגבוהות מ־.

כל עץ סוסלין הוא עץ אהרונשיין. באופן כללי, לכל מונה , ־עץ אהרונשיין הוא עץ מגובה  כך שכל רמה שלו היא בגודל לכל היותר  וכל ענף הוא בגובה לכל היותר  (ומכאן "עץ אהרונשיין" סתם הוא למעשה ־עץ אהרונשיין). העץ קרוי על שם המתמטיקאי הפולני נחמן אהרונשיין שהראה בנייה שלהם לראשונה בשנת 1934.

קיום עץ אהרונשיין
מהלמה של קניג נובע כי לא קיים ־עץ אהרונשיין. קיומו של ־עץ אהרונשיין הוכח על ידי נחמן אהרונשיין. טענת קיומו של ־עץ אהרונשיין היא עצמאית — השערת הרצף גוררת את קיומו של עץ זה, ויליאם מיטשל וג'ק סילבר הראו שעקבי שלא קיים ־עץ אהרונשיין (בהינתן קיום של מונה קומפקטי חלש).

רונלד ינסן הוכיח שאקסיומת הבנייה גוררת שקיים ־עץ אהרונשיין (ולמעשה ־עץ סוסלין) לכל מונה אינסופי עוקב . ג'יימס קאמינגס ומת'יו פורמן הוכיחו בשנת 1998 באמצעות אקסיומות של מונים גדולים שעקבי שאין ־עץ אהרונשיין לכל  הגדול מ־. אם  הוא קומפקטי חלש אזי לא קיים ־עץ אהרונשיין. בכיוון השני, אם  הוא אי נסיג, ולא קיים ־עץ אהרונשיין, אזי  קומפקטי חלש.

אהרונשיין
אהרונשיין
אהרונשיין
אהרונשיין