1 0 0 0 OA 包括原理のある集合論と超準的自然数(自然数の超準モデルにおける1階定義可能性の研究)
- 著者
- 矢田部 俊介
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1469, pp.4-16, 2006-02
言及状況
Twitter (1 users, 1 posts, 0 favorites)
@kururu_goedel あとですねぇ、この手( http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/48092/1/1469-2.pdf )のlogicを修正する方向性の集合論の研究を不毛だと思われますか?