[sheaf]

Mireczki, to jak z tym ZFC? Sprzeczna czy nie? A może (G)CH? co myślicie? ;)

#filozofia #matematyka

[kolnay1]

@sheaf: GCH nie implikuje przypadkiem pewnika wyboru tak jak pan Sierpiński powiedział?

[biliard]

@sheaf: A o co chodzi?

[sheaf]

@kolnay1: ZF+GCH --> AC, to prawda. Ale GCH to bardzo mocne założenie na temat całego uniwersum zbiorów.

[kolnay1]

@sheaf: Tak, chyba tak. Swoją drogą wiesz może coś fajnego o aksjomacie determinacji?

[sheaf]

@kolnay1: kilka podstawowych faktów, takich jak ze kłóci się z AC i kilka rzeczy na temat jego wpływu na hierarchię zbiorów analitycznych. Aktualnie jadę na konferencje gdzie będzie dużo osób również z czystej teorii mnogości, gdybyś miał jakieś pytania których odpowiedzi ciężko znaleźć bez czytania paperow to mogę popytać tam ludzi :-)

[kolnay1]

@sheaf: Aktualnie tzn. teraz, czy wkrótce np. za tydzień? Też wkrótce jadę na konferencję (za tydzień). Zastanawiam się jaka jest szansa, że chodzi o tę samą.

[sheaf]

Ja jadę teraz, właśnie siedzę w pociągu. A z jakiej tematyki?