スレタイ箱入り無数目を語る部屋4

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

792(1): 2022/11/06(日)12:59 ID:+0wVTm4U(12/43) AAS
>>768
>ただし「代表系のリストが手に入る」という仮定は選択公理を超えている。
時枝戦略が成立するためにはそのような仮定は不要

797(3): 2022/11/06(日)13:45 ID:nNTYWkJt(3/6) AAS
>>792
選択函数をφとしてaを一つの同値類とする。
「φが存在する」ということと
「φ(a)の値が入手できる」ということは別だと思う。
ある箱の中身まで当てるという箱入り無数目は後者を仮定している。