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/8527

Title: On constructing completions
Authors: Crosilla, Laura
Ishihara, Hajime
Schuster, Peter
Issue Date: 2005-09
Publisher: Association for Symbolic Logic
Magazine name: The Journal of Symbolic Logic
Volume: 70
Number: 3
Start page: 969
End page: 978
Abstract: The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo-Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two-element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and Rathjen, who invoked the full form of fullness. To further generalise this, we look at Richman's method to complete an arbitrary metric space without sequences, which he designed to avoid countable choice. The completion of a separable metric space turns out to be a set even if the original space is a proper class; in particular, every complete separable metric space automatically is a set.
Rights: Copyright (C) 2005 Association for Symbolic Logic. It is posted here by permission of Association for Symbolic Logic. Laura Crosilla, Hajime Ishihara, and Peter Schuster, The Journal of Symbolic Logic, 70(3), 2005, 969-978.
URI: http://hdl.handle.net/10119/8527
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
5415.pdf152KbAdobe 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)