Kripke, Scott

私の認識。
Kripke - KPのKの人
Scott - 「可測基数があるとV=Lは成り立たない」を証明した人
ダメじゃん。いや、両方とも哲学やっているということは知っていましたが。
集合論者で哲学をやっている人といえば、Donald Martinが真っ先に思い浮かびます。Martin's AxiomのMartinです。