Laver majetek - Laver property - Wikipedia
V matematické teorii množin je Laver majetek platí mezi dvěma modely, pokud nejsou „příliš odlišné“ v následujícím smyslu.
Pro a tranzitivní modely teorie množin, se říká, že má majetek Laver u konce právě když pro každou funkci mapování na takhle rozchází se do nekonečna a každé funkce mapování na a každá funkce které hranice , je tam strom tak, že každá pobočka je ohraničen a pro každého the úroveň něčeho má mohutnost nanejvýš a je pobočkou .[1]
Vynucená představa má vlastnost Laver tehdy a jen tehdy, má-li vynucené rozšíření vlastnost Laver nad pozemním modelem. Mezi příklady patří Laver nutit.
Pojem je pojmenován po Richard Laver.
Shelah dokázal, že když jsou správné síly s vlastností Laver iterováno pomocí spočítatelných podpor bude mít výsledná vynucená představa také vlastnost Laver.[2][3]
Spojení majetku Laver a -bounding vlastnost je ekvivalentní s Vlastnost Pytle.
Reference
- ^ Shelah, S., Důsledně neexistuje žádná netriviální ccc nutící představu o majetku Sacks nebo Laver, Combinatorica, sv. 2, s. 309 - 319, (2001)
- ^ Shelah, S., Správné a nesprávné působení, Springer (1992)
- ^ C. Schlindwein, Pochopení teorémů zachování: Kapitola VI Správného a nesprávného vynucování, I. Archiv pro matematickou logiku, sv. 53, 171–202, Springer, 2014