JAIST Repository >
School of Information Science >
Articles >
Journal Articles >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/8528
|
Title: | A continuity principle, a version of Baire's theorem and a boundedness principle |
Authors: | Ishihara, Hajime Schuster, Peter |
Issue Date: | 2008-12 |
Publisher: | Association for Symbolic Logic |
Magazine name: | The Journal of Symbolic Logic |
Volume: | 73 |
Number: | 4 |
Start page: | 1354 |
End page: | 1360 |
Abstract: | 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 |
Material Type: | publisher |
Appears in Collections: | b10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
File |
Description |
Size | Format |
13230.pdf | | 99Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|