ダウンロード数: 143
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| jzt045.pdf | 127.09 kB | Adobe PDF | 見る/開く |
| タイトル: | On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory |
| 著者: | Yatabe, S. |
| 著者名の別形: | 矢田部, 俊介 |
| キーワード: | Naive set theory the comprehension principle contraction-free logic non-well founded set theory bisimulation |
| 発行日: | 23-Jun-2014 |
| 出版者: | Oxford University Press |
| 誌名: | Logic Journal of IGPL |
| 巻: | 22 |
| 号: | 3 |
| 開始ページ: | 482 |
| 終了ページ: | 493 |
| 抄録: | We show that the crispness of ω is not provable in a constructive naive set theory CONS in FLew ∀, intuitionistic predicate logic minus the contraction rule. In the proof, we construct a circularly defined object fix, a fixed point of the successor function suc, by using a fixed-point theorem. |
| 著作権等: | This is a pre-copyedited, author-produced PDF of an article accepted for publication in [Logic Journal of the IGPL] following peer review. The version of record [Shunsuke Yatabe. On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory. Logic Jnl IGPL (2014) 22 (3): 482-493 first published online November 21, 2013. doi:10.1093/jigpal/jzt045] is available online at: http://jigpal.oxfordjournals.org/content/22/3/482. この論文は出版社版でありません。引用の際には出版社版をご確認ご利用ください。 This is not the published version. Please cite only the published version. |
| URI: | http://hdl.handle.net/2433/199938 |
| DOI(出版社版): | 10.1093/jigpal/jzt045 |
| 出現コレクション: | 学術雑誌掲載論文等 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。