2010年08月31日のツイート
@kururu_goedel: @sarabayuutsu west-coastスタイルはブール代数値モデルと整合的にしたもの、ヘブライスタイルは「強いほうが大きい方が自然」という見方から来ているものではないかと。
@kururu_goedel: @sarabayuutsu 現時点では、ほぼwest-coastの方で統一されているのですが、Shelahはかたくなにヘブライの方を貫いているので、彼に近い人や論文はそっちのスタイルになっていることも多いですね。
@kururu_goedel: @sarabayuutsu $p\leq q$で「pはqより強い」を表現するKunenなどに採用されているスタイルをwest-coast風、Shelahなどが使う「qはpより強い」になる方をヘブライ風と言ったりする、というのは内輪のトリビア