Leitersystemen

Leitersysteme, auch Ladder Systems genannt, sind eine Struktur aus der Mengentheorie und der Kardinalitätstheorie, die dazu dient, Sequenzen von Ordinalzahlen systematisch zu ordnen. Sie werden häufig in Zusammenhang mit regulären unendlichen Kardinalen verwendet, um lokale Approximationssequenzen zu ordnen, die sich bestimmten Limitordinals annähern.

Formal definiert man ein Leitersystem auf einer Teilmenge S eines Kardinals κ (üblich S aus Lim(κ) oder Lim(κ) mit bestimmter Koordinierung) als eine Familie von Sequenzen ηα für α ∈ S, wobei jede Sequenz ηα eine streng zunehmende Folge von Ordinalzahlen kleiner α ist, deren Grenzwert α ist. Die Ordnungstypen der Sequenzen entsprechen in der Regel dem Kofinalitätswert cf(α). In der Standardvariante wird für α mit cf(α) = ω eine Sequenz ω-länge gewählt, sodass ηα eine abzählbare Sequenz ist, die gegen α konvergiert.

Beispiele: Für κ = ω1 und S = Lim(ω1) mit cf(α) = ω erhält man für jedes α eine abzählbare Folge α0 < α1 < … < α mit lim αn = α; dann ist ηα = ⟨αn : n ∈ ω⟩ ein Leitersystem auf S. Allgemein lässt sich für jedes α ∈ S eine cofinal Sequenz der Länge cf(α) auswählen, wodurch ein Leitersystem existiert.

Verwendung und Bedeutung: Leitersysteme dienen zur Kodierung von Informationen über ordinale Strukturen, zum Aufbau von Spezial-Aronszajn-Bäumen und in verschiedenen forcingspezifischen Argumenten. Sie spielen eine Rolle bei club-guessing- Prinzipien, der Untersuchung von stationären Mengen und der Interaktion mit Square-Prinzipien. In vielen Fällen helfen Leitersysteme, lokale Konstruierungen global zu kontrollieren und Teilmengen ordnungsgemäß zu approximieren.

Siehe auch: Ladder System, club-guessing, stationary sets, Aronszajn-Baum, Square-Prinzip.