𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Editorial: Math. Log. Quart. 1/2008

✍ Scribed by Special issue editor Josef Berger; Special issue editor Dirk Pattinson; Special issue editor Peter Schuster; Special issue editor Júlia Zappe

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Editorial: Math. Log. Quart. 5/2008
Editorial: Math. Log. Quart. 5/2008
✍ Vasco Brattka; Hajime Ishihara; Matthias Schröder; Ning Zhong 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 16 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

Editorial: Math. Log. Quart. 1/2007
Editorial: Math. Log. Quart. 1/2007
✍ Armin Hemmerling 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 14 KB

## Dear Readers, A happy and successful 2007 to all of you. I wish to draw your attention again to an enlargement of the Editorial Board of our journal. We are pleased to welcome three new members: Ramon Jansana (Barcelona), Klaus Meer (Odense), and Andrzej Roslanowski (Omaha). I would like to tha

Editorial: MLQ – Math. Log. Quart. 1/200
Editorial: MLQ – Math. Log. Quart. 1/2006
✍ Armin Hemmerling 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 17 KB

Dear Readers, I hope you have had no trouble identifying this issue of our journal, even if the cover has been changed slightly. I would like to draw your attention to a more essential improvement in the journal's affairs: namely, that the Editorial Board has been enlarged by four new members. These