๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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


Preface: MLQ - Math. Log. Quart. 4โ€“5/200
โœ Vasco Brattka; Peter Hertling; Ker-I Ko; Ning Zhong ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 50 KB

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),

Editorial: MLQ โ€“ Math. Log. Quart. 1/200
โœ 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

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

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/2008
โœ Special issue editor Josef Berger; Special issue editor Dirk Pattinson; Special ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 19 KB