A restriction on the first successor cardinal which is Jonsson (Q1335191): Difference between revisions

Eine Jonsson-Algebra ist eine nichtleere Menge mit einer abzählbaren Menge von endlichstelligen Funktionen, wobei jede echte Teilalgebra eine kleinere Mächtigkeit hat. Die Kardinalzahl \(\kappa\) wird Jonsson- Kardinalzahl genannt, wenn auf einer Menge mit Mächtigkeit \(\kappa\) keine Jonsson-Algebra möglich ist. Das Hauptresultat des Artikels lautet: Wenn \(\mu\) eine singuläre Kardinalzahl ist und \(\mu^ +\) die erste Kardinalzahl, die keine Limeszahl aber eine Jonsson-Kardinalzahl ist, dann ist \(\text{cf} (\mu)\) nicht meßbar. Noch genauer, wenn \(\mu^ +\) eine Jonsson-Kardinalzahl ist und \(\text{cf}(\mu) =\kappa\) meßbar, dann gibt es für ein Normalmaß \(D\) auf \(\kappa\) eine Menge mit dem Maß 1 von Jonsson- Kardinalzahlen, die keine Limeszahlen und kleiner als \(\mu\) sind.