|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8528
|
| タイトル: | A continuity principle, a version of Baire's theorem and a boundedness principle |
| 著者: | Ishihara, Hajime
Schuster, Peter |
| 発行日: | 2008-12 |
| 出版者: | Association for Symbolic Logic |
| 誌名: | The Journal of Symbolic Logic |
| 巻: | 73 |
| 号: | 4 |
| 開始ページ: | 1354 |
| 終了ページ: | 1360 |
| 抄録: | We deal with a restricted form WC-N′of the weak continuity principle, a version BT′of Baire's theorem, and a boundedness principle BD-N. We show, in the spirit of constructive reverse mathematics, that WC-N′, BT′ + ￢LPO and BD-N + ￢LPO are equivalent in a constructive system, where LPO is the limited principle of omniscience. |
| Rights: | Copyright (C) 2008 Association for Symbolic Logic. It is posted here by permission of Association for Symbolic Logic. Hajime Ishihara and Peter Schuster, The Journal of Symbolic Logic, 73(4), 2008, 1354-1360. |
| URI: | http://hdl.handle.net/10119/8528 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 13230.pdf | | 99Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
