| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422153 | Electronic Notes in Theoretical Computer Science | 2008 | 7 Pages |
Abstract
Various types of continuity for preference relations on a metric space are examined constructively. In particular, necessary and sufficient conditions are given for an order-dense, strongly extensional preference relation on a complete metric space to be continuous. It is also shown, in the spirit of constructive reverse mathematics, that the continuity of sequentially continuous, order-dense preference relations on complete, separable metric spaces is connected to Ishihara's principle BD-N, and therefore is not provable within Bishop-style constructive mathematics alone.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
