|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8526
|
| タイトル: | A constructive look at the completeness of the space DR |
| 著者: | Ishihara, Hajime
Yoshida, Satoru |
| 発行日: | 2002-12 |
| 出版者: | Association for Symbolic Logic |
| 誌名: | The Journal of Symbolic Logic |
| 巻: | 67 |
| 号: | 4 |
| 開始ページ: | 1511 |
| 終了ページ: | 1519 |
| 抄録: | We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space D(R) of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism. |
| Rights: | Copyright (C) 2002 Association for Symbolic Logic. It is posted here by permission of Association for Symbolic Logic. Hajime Ishihara and Satoru Yoshida, The Journal of Symbolic Logic, 67(4), 2002, 1511-1519. |
| URI: | http://hdl.handle.net/10119/8526 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 2755.pdf | | 109Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
