Volume 50,
Number 1,
January 2004
Volume 50,
Number 2,
March 2004
Volume 50,
Number 3,
May 2004
Volume 50,
Numbers 4-5,
September 2004
- Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong:
Preface: MLQ - Math. Log. Quart. 4-5/2004.
327-328
Electronic Edition (link) BibTeX
- Douglas Cenzer, Jeffrey B. Remmel:
Index sets for computable differential equations.
329-344
Electronic Edition (link) BibTeX
- Rod Downey, Guohua Wu, Xizhong Zheng:
Degrees of d. c. e. reals.
345-350
Electronic Edition (link) BibTeX
- Andrej Bauer, Alex Simpson:
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.
351-369
Electronic Edition (link) BibTeX
- George Barmpalias:
Approximation representations for reals and their wtt-degrees.
370-380
Electronic Edition (link) BibTeX
- Iraj Kalantari, Larry Welch:
Density and Baire category in recursive topology.
381-391
Electronic Edition (link) BibTeX
- Martin Ziegler:
Computable operators on regular sets.
392-404
Electronic Edition (link) BibTeX
- Vladik Kreinovich, Luc Longpré:
Fast quantum algorithms for handling probabilistic and interval uncertainty.
405-416
Electronic Edition (link) BibTeX
- Daren Kunkle:
Type-2 computability on spaces of integrable functions.
417-430
Electronic Edition (link) BibTeX
- Xizhong Zheng, Robert Rettinger:
Weak computability and representation of reals.
431-442
Electronic Edition (link) BibTeX
- Matthias Schröder:
Spaces allowing Type-2 Complexity Theory revisited.
443-459
Electronic Edition (link) BibTeX
- Josef M. Breutzmann, David W. Juedes, Jack H. Lutz:
Baire category and nowhere differentiability for feasible real functions.
460-472
Electronic Edition (link) BibTeX
- Daniel Silva Graça:
Some recent developments on Shannon's General Purpose Analog Computer.
473-485
Electronic Edition (link) BibTeX
- Fredrik Dahlgren:
Computability and continuity in metric partial algebras equipped with computability structures.
486-500
Electronic Edition (link) BibTeX
- Douglas S. Bridges:
First steps in constructive game theory.
501-506
Electronic Edition (link) BibTeX
- Armin Hemmerling:
Characterizations of the class Deltata2 over Euclidean spaces.
507-519
Electronic Edition (link) BibTeX
- Dimiter Skordev:
Some subrecursive versions of Grzegorczyk's Uniformity Theorem.
520-524
Electronic Edition (link) BibTeX
Volume 50,
Number 6,
October 2004
- Ralf Schindler:
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum.
527-532
Electronic Edition (link) BibTeX
- James H. Schmerl:
Substructure lattices and almost minimal end extensions of models of Peano arithmetic.
533-539
Electronic Edition (link) BibTeX
- Hajime Ishihara, Peter Schuster:
Compactness under constructive scrutiny.
540-550
Electronic Edition (link) BibTeX
- Arthur W. Chou, Ker-I Ko:
On the complexity of finding paths in a two-dimensional domain I: Shortest paths.
551-572
Electronic Edition (link) BibTeX
- Klaus Frovin Jørgensen:
Functional interpretation and the existence property.
573-576
Electronic Edition (link) BibTeX
- Jirí Hanika:
Herbrandizing search problems in Bounded Arithmetic.
577-586
Electronic Edition (link) BibTeX
- Nobuyuki Sakamoto, Takeshi Yamazaki:
Uniform versions of some axioms of second order arithmetic.
587-593
Electronic Edition (link) BibTeX
- Milos S. Kurilic:
Unsupported Boolean algebras and forcing.
594-602
Electronic Edition (link) BibTeX
- Gábor Sági, János Gerlits:
Ultratopologies.
603-612
Electronic Edition (link) BibTeX
- Rod Downey, Evan J. Griffiths, Geoffrey LaForte:
On Schnorr and computable randomness, martingales, and machines.
613-627
Electronic Edition (link) BibTeX
- Marat M. Arslanov, S. Barry Cooper, Angsheng Li:
There is no low maximal d. c. e. degree - Corrigendum.
628-636
Electronic Edition (link) BibTeX
Corrigendum
Copyright © Sun May 17 00:13:44 2009
by Michael Ley (ley@uni-trier.de)