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 SizeFormat
13230.pdf99KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)