Mathematical Logic Quarterly

Copyright © 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Cover image for Mathematical Logic Quarterly

Supplement: Mathematical Logic Quarterly/Supplement 1

October 2002

Volume 48, Issue S1

Pages III–III, 1–181

    1. Preface: MLQ - Math. Log. Quart. Supplement 1/2002 (page III)

      Vasco Brattka, Peter Hertling, Mariko Yasugi and Ning Zhong

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<III::AID-MALQ1>3.0.CO;2-0

    2. A Relationship between Equilogical Spaces and Type Two Effectivity (pages 1–15)

      Andrej Bauer

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<1::AID-MALQ11111>3.0.CO;2-7

    3. Apartness, Topology, and Uniformity: a Constructive View (pages 16–28)

      Douglas Bridges, Peter Schuster and Luminiţa Vîţă

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<16::AID-MALQ16>3.0.CO;2-7

    4. Computably Enumerable Reals and Uniformly Presentable Ideals (pages 29–40)

      Rod Downey and Sebastiaan A. Terwijn

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<29::AID-MALQ29>3.0.CO;2-O

    5. In Domain Realizability, not all Functionals on C[–1, 1] are Continuous (pages 41–44)

      Martín Escardó and Thomas Streicher

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V

    6. A Step towards a Complexity Theory for Analog Systems (pages 45–58)

      Marco Gori and Klaus Meer

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<45::AID-MALQ45>3.0.CO;2-7

    7. On Weak Markov's Principle (pages 59–65)

      Ulrich Kohlenbach

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<59::AID-MALQ59>3.0.CO;2-I

    8. On the Computational Complexity of Best L1-approximation (pages 66–77)

      Paulo Oliva

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<66::AID-MALQ66>3.0.CO;2-Y

    9. Effectivity in Spaces with Admissible Multirepresentations (pages 78–90)

      Matthias Schröder

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<78::AID-MALQ78>3.0.CO;2-K

    10. Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers (pages 91–106)

      Dimiter Skordev

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<91::AID-MALQ91>3.0.CO;2-L

    11. Located Operators (pages 107–122)

      Bas Spitters

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<107::AID-MALQ107>3.0.CO;2-O

    12. Metrization of the Uniform Space and Effective Convergence (pages 123–130)

      Mariko Yasugi, Yoshiki Tsujii and Takakazu Mori

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-W

    13. Recursive Approximability of Real Numbers (pages 131–156)

      Xizhong Zheng

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<131::AID-MALQ131>3.0.CO;2-#

    14. Computability on Regular Subsets of Euclidean Space (pages 157–181)

      Martin Ziegler

      Article first published online: 14 OCT 2002 | DOI: 10.1002/1521-3870(200210)48:1+<157::AID-MALQ157>3.0.CO;2-4

SEARCH

SEARCH BY CITATION