Journal: Math. Log. Q.

Volume 50, Issue 6

527 -- 532Ralf Schindler. Semi-proper forcing, remarkable cardinals, and Bounded Martin s Maximum
533 -- 539James H. Schmerl. Substructure lattices and almost minimal end extensions of models of Peano arithmetic
540 -- 550Hajime Ishihara, Peter Schuster. Compactness under constructive scrutiny
551 -- 572Arthur W. Chou, Ker-I Ko. On the complexity of finding paths in a two-dimensional domain I: Shortest paths
573 -- 576Klaus Frovin Jørgensen. Functional interpretation and the existence property
577 -- 586Jirí Hanika. Herbrandizing search problems in Bounded Arithmetic
587 -- 593Nobuyuki Sakamoto, Takeshi Yamazaki. Uniform versions of some axioms of second order arithmetic
594 -- 602Milos S. Kurilic. Unsupported Boolean algebras and forcing
603 -- 612Gábor Sági, János Gerlits. Ultratopologies
613 -- 627Rod Downey, Evan J. Griffiths, Geoffrey LaForte. On Schnorr and computable randomness, martingales, and machines
628 -- 636Marat M. Arslanov, S. Barry Cooper, Angsheng Li. There is no low maximal d. c. e. degree - Corrigendum
637 -- 638Morteza Moniri. Corrigendum to Weak Arithmetics and Kripke Models

Volume 50, Issue 4-5

327 -- 328Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong. Preface: MLQ - Math. Log. Quart. 4-5/2004
329 -- 344Douglas Cenzer, Jeffrey B. Remmel. Index sets for computable differential equations
345 -- 350Rod Downey, Guohua Wu, Xizhong Zheng. Degrees of d. c. e. reals
351 -- 369Andrej Bauer, Alex Simpson. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability
370 -- 380George Barmpalias. Approximation representations for reals and their wtt-degrees
381 -- 391Iraj Kalantari, Larry Welch. Density and Baire category in recursive topology
392 -- 404Martin Ziegler. Computable operators on regular sets
405 -- 416Vladik Kreinovich, Luc Longpré. Fast quantum algorithms for handling probabilistic and interval uncertainty
417 -- 430Daren Kunkle. Type-2 computability on spaces of integrable functions
431 -- 442Xizhong Zheng, Robert Rettinger. Weak computability and representation of reals
443 -- 459Matthias Schröder. Spaces allowing Type-2 Complexity Theory revisited
460 -- 472Josef M. Breutzmann, David W. Juedes, Jack H. Lutz. Baire category and nowhere differentiability for feasible real functions
473 -- 485Daniel Silva Graça. Some recent developments on Shannon s General Purpose Analog Computer
486 -- 500Fredrik Dahlgren. Computability and continuity in metric partial algebras equipped with computability structures
501 -- 506Douglas S. Bridges. First steps in constructive game theory
507 -- 519Armin Hemmerling. Characterizations of the class Delta:::ta:::::2:: over Euclidean spaces
520 -- 524Dimiter Skordev. Some subrecursive versions of Grzegorczyk s Uniformity Theorem

Volume 50, Issue 3

219 -- 235Stephen M. Walk. Lattice embeddings and array noncomputable degrees
236 -- 240Jesper Carlström. EM + Ext- + ACint is equivalent to ACext
241 -- 248Stefano Leonesi, Carlo Toffalori. On the Boolean algebras of definable sets in weakly o-minimal theories
249 -- 257Stefano Baratella, Andrea Masini. An infinitary variant of Metric Temporal Logic over dense time domains
258 -- 264Gerhard Jäger, Dieter Probst. Variation on a theme of Schütte
265 -- 280Andrei Popescu. A general approach to fuzzy concepts
281 -- 292K. Subramani. On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries
293 -- 294Douglas S. Bridges. Constructive complements of unions of two closed sets
295 -- 296Emil Jeábek. A note on Grzegorczyk s logic
297 -- 302Bernhard König, Yasuo Yoshinobu. Fragments of Martin s Maximum in generic extensions
303 -- 324Félix Bou, Josep Maria Font, José Luis García-Lapresta. On weakening the Deduction Theorem and strengthening Modus Ponens

Volume 50, Issue 2

111 -- 125Roberto Cignoli, Antoni Torrens. Glivenko like theorems in natural expansions of BCK-logic
126 -- 140Enrique Casanovas, Rafel Farré. Weak forms of elimination of imaginaries
141 -- 151Kyriakos Keremedis. Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
152 -- 168Virginie Mazoyer. Polygones
169 -- 174Marcin Mostowski, Anna Wasilewska. Arithmetic of divisibility in finite models
175 -- 178Gurgen Asatryan. A solution to identities problem in 2-element HSI-algebras
179 -- 188Wafik Boulos Lotfallah. An Ehrenfeucht-Fraïssé class game
189 -- 201Guohua Wu. Quasi-complements of the cappable degrees
202 -- 210Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. A secondary semantics for Second Order Intuitionistic Propositional Logic
211 -- 216György Serény. Boolos-style proofs of limitative theorems

Volume 50, Issue 1

3 -- 8Ernest Schimmerling, Boban Velickovic. Collapsing functions
9 -- 17Isabel Oitavem. Characterizing ::::NC:::: with tier 0 pointers
18 -- 28Jakob Kellner, Hans Ploss. F-products and nonstandard hulls for semigroups
29 -- 32Chaz Schlindwein. A short proof of the preservation of the omega:::omega:::-bounding property
33 -- 40Steve Jackson, Russell May. The strong partition relation on omega::1:: revisited
41 -- 46Stefano Berardi. A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
47 -- 50Jeffry L. Hirst. Minima of initial segments of infinite sequences of reals
51 -- 64Arthur W. Apter. Level by level equivalence and strong compactness
65 -- 70Majid Alizadeh, Mohammad Ardeshir. On the linear Lindenbaum algebra of Basic Propositional Logic
71 -- 76Alexandre Ivanov, Roman Kossak. Automorphism group actions on trees
77 -- 98Tapani Hyttinen. Finitely generated submodels of an uncountably categorical homogeneous structure
99 -- 103Matteo Viale. The cumulative hierarchy and the constructible universe of ZFA
104 -- 107Franco Montagna, Lorenzo Sacchetti. Corrigendum to Kripke-style semantics for many-valued logics