Special Issue on Computability and Complexity 2003 Dedicated to Klaus Weihrauch on the occasion of his 60th birthday This special issue of Mathematical Logic Quarterly (MLQ) contains a selection of articles presented at the International Conference on Computability and Complexity in Analysis (CCA),
Preface: MLQ - Math. Log. Quart. Supplement 1/2002
โ Scribed by Vasco Brattka; Peter Hertling; Mariko Yasugi; Ning Zhong
- Publisher
- John Wiley and Sons
- Year
- 2002
- Tongue
- English
- Weight
- 27 KB
- Volume
- 48
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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
## 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
## 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