|
|
|
|
 |
Nautilus_
 2007-09-04 23:32:22
|
136
|
| Egyetértek. A konklúzió egyébként a halmazelmélet legszebb eredményeinek egyike. Hihetetlen, hogy pont 4 az alsó index. sashimi korábban a halmazelmélet legnagyobb kérdésének nevezte, hogy javítható-e a 4 kisebbre. |
|
A hozzászólás:
 |
|
Gergo73
2007-09-04 23:23:42
|
135
|
| P(Alef_omega) > Alef_omega triviálisan igaz, ez Cantor tétele. Jó Tündér arra gondolhatott, hogy Alef_omega minden kisebb számosságú részhalmazának hatványhalmaza kisebb, mint Alef_omega. Ez ÁKH mellett ez igaz, hiszen akkor P(Alef_n)=Alef_{n+1}<Alef_omega. ZFC-ben pedig bizonyára független állítás, hogy P(Alef_n)<Alef_omega minden n-re. Abból gondolom ezt, hogy Shelah idézett survey-ben az első oldal mintatételében ez a premissza (a konklúzió pedig P(Alef_omega)<Alef_{omega_4}). |
|
Előzmény:
|
|
Nautilus_
2007-09-04 23:13:58
|
133
|
mmormota,
tényleg mást írt, de jól éreztem, hogy hibás.
vegyél egy nemrákövetkező számosságot, pl. Alef_omega-t.
Alef_omega alatt csak Alef_n, (n természetes) számosságok vannak. Ha tehát igaz, hogy P(Alef_omega)<Alef_omega, akkor =Alef_n, valamilyen n-re. Ami nem lehet, hiszen P(Alef_n)<P(Alef_n+1)<P(Alef_omega) (ÁKH-val). Tehát P(Alef_omega) > Alef_omega, de persze reguláris, pl. Alef_(omega+1). |
|
|
Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!
|
