𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Editorial: Math. Log. Quart. 5/2008

✍ Scribed by Vasco Brattka; Hajime Ishihara; Matthias Schröder; Ning Zhong

Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
16 KB
Volume
54
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Editorial: Math. Log. Quart. 1/2008
Editorial: Math. Log. Quart. 1/2008
✍ Special issue editor Josef Berger; Special issue editor Dirk Pattinson; Special 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 19 KB
Contents: Math. Log. Quart. 5/2008
Contents: Math. Log. Quart. 5/2008
📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 79 KB

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 o

Editorial: Math. Log. Quart. 4–5/2007
Editorial: Math. Log. Quart. 4–5/2007
✍ Special issue editor Ker-I Ko; Special issue editor Klaus Weihrauch; Special iss 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 14 KB
Contents: Math. Log. Quart. 1/2008
Contents: Math. Log. Quart. 1/2008
📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 57 KB

## The Relation Reflection Scheme We introduce a new axiom scheme for constructive set theory, the Relation Reflection Scheme (RRS). Each instance of this scheme is a theorem of the classical set theory ZF. In the constructive set theory CZF -, when the axiom scheme is combined with the axiom of D