MarriageTheoremのこと

_ IACR ePrint 2016/199まで確認済み、ECCC 2003年分まで確認済み

_ 某所で見かけた「ある空間上の連続関数全体のなす環の極大ではない素イデアルを見つけよ」という問題を、例えば実数直線上の実数値関数の場合に考えてみたのだけれどもよくわからなくて調べてみたところ、選択公理を使えば例が得られるが選択公理（やその仲間たち）抜きでどうなるかの情報が見当たらなかったため心が燃えている。