Journal: Math. Log. Q.

Volume 48, Issue S1

0 -- 0Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong. Preface: MLQ - Math. Log. Quart. Supplement 1/2002
1 -- 15Andrej Bauer. A Relationship between Equilogical Spaces and Type Two Effectivity
16 -- 28Douglas S. Bridges, Peter Schuster, Luminita Vîta. Apartness, Topology, and Uniformity: a Constructive View
29 -- 40Rodney G. Downey, Sebastiaan Terwijn. Computably Enumerable Reals and Uniformly Presentable Ideals
41 -- 44Martín Hötzel Escardó, Thomas Streicher. In Domain Realizability, not all Functionals on ::::C::::[-1, 1] are Continuous
45 -- 58Marco Gori, Klaus Meer. A Step towards a Complexity Theory for Analog Systems
59 -- 65Ulrich Kohlenbach. On Weak Markov s Principle
66 -- 77Paulo Oliva. On the Computational Complexity of Best ::::L::::::1::-approximation
78 -- 90Matthias Schröder. Effectivity in Spaces with Admissible Multirepresentations
91 -- 106Dimiter Skordev. Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers
107 -- 122Bas Spitters. Located Operators
123 -- 130Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori. Metrization of the Uniform Space and Effective Convergence
131 -- 156Xizhong Zheng. Recursive Approximability of Real Numbers
157 -- 181Martin Ziegler. Computability on Regular Subsets of Euclidean Space