14/08/14 20:45:19.05
>>809
田中一之先生が、米国留学したらデカイ看板に
generic filterの宣伝がされていてさすがはロジックの先進国だと思ったら
ノーブランドの煙草のフィルターのことだったとか冗談を書いてたね。
でも集合論のgenericってのも割とそういうニュアンスっぽいんだよね。
体の超越拡大の超越元とかと似たような感じで、
Mのある要素との関連が別の元との関連より深いようなことがなくて、
"ノーブランド"だ、みたいな雰囲気。
あとどうも強制概念の実例を色々勉強して、
それぞれの場合でgenericであることから何が言えるか
見てみるのが理解の早道っぽい。
JechにCohen forcingでGがgenericであることから
Cohen実数∪Gがω上の全域関数であることが結論する、
とか書いてあるのはそういう意味だと思う。