"Extensionality and Restriction in Naive Set Theory" (Zach Weber)

最近、論文はつまみ食いばかりで一本丸々読みきる時間がなく、ご無沙汰しておりました。徐々にまた紹介記事を書いていきたいと思います。
Studia Logica誌の online first 論文、こちらから入手可能。数学的に興味深いというよりは、矛盾許容論理上で包括原理を持つ集合論での外延性公理の問題に関するよいサーベイ、という感じでした(参考文献がリストに48編載っているって、明らかにサーベイ扱いですよね）。

（内容に関しては後で追加します）