Mathematical Logic Quarterly, Volume 51

Volume 51, Number 1, January 2005

• Günter Asser, Armin Hemmerling:
  Letter from the outgoing Managing Editor/Letter from the new Managing Editor. 3-4
  

• Peter Hertling:
  Is the Mandelbrot set computable? 5-18
  
• Vasco Brattka:
  Effective Borel measurability and reducibility of functions. 19-44
  
• Victor L. Selivanov:
  Hierarchies in phi-spaces and applications. 45-61
  
• Jack H. Lutz:
  Effective fractal dimensions. 62-72
  
• Morteza Moniri:
  Polynomial induction and length minimization in intuitionistic bounded arithmetic. 73-76
  
• Satoru Yoshida:
  The constructive completion of the space D(R). 77-82
  
• Martin Lange:
  A quick axiomatisation of LTL with past. 83-88
  
• Stefano Mazzanti:
  Bounded iteration and unary functions. 89-94
  
• Kyriakos Keremedis, Eleftherios Tachtsis:
  Countable sums and products of metrizable spaces in ZF. 95-103
  
• Marta A. Zander:
  A note on a subvariety of linear tense algebras. 104-108
  

Volume 51, Number 2, February 2005

• Guohua Wu:
  Regular reals. 111-119
  
• Cristian S. Calude, Ludwig Staiger:
  Generalisations of disjunctive sequences. 120-128
  
• Serikzhan Badaev, Dieter Spreen:
  A note on partial numberings. 129-136
  
• H. Jerome Keisler, Wafik Boulos Lotfallah:
  A local normal form theorem for infinitary logic with unary quantifiers. 137-144
  
• Stefano Leonesi, Carlo Toffalori:
  Filling certain cuts in discrete weakly o-minimal structures. 145-153
  
• Arthur W. Apter:
  Removing Laver functions from supercompactness arguments. 154-156
  
• Xizhong Zheng, Robert Rettinger, George Barmpalias:
  h-monotonically computable real numbers. 157-170
  
• Marianne Morillon:
  James sequences and Dependent Choices. 171-186
  
• Paul E. Howard:
  If vector spaces are projective modules then multiple choice holds. 187-190
  
• Arnold Beckmann, Jan Johannsen:
  An unexpected separation result in Linearly Bounded Arithmetic. 191-200
  
• Josef Berger:
  Exact calculation of inverse functions. 201-205
  
• Douglas Cenzer, Farzan Riazati:
  Minimal extensions of Pi⁰₁ classes. 206-216
  

Volume 51, Number 3, May 2005

• Sergio A. Celani, Ramon Jansana:
  Bounded distributive lattices with strict implication. 219-246
  
• Arthur W. Apter:
  An Easton theorem for level by level equivalence. 247-253
  
• Gábor Sági, Saharon Shelah:
  On topological properties of ultraproducts of finite sets. 254-257
  
• Masanori Itai, Kentaro Wakai:
  omega-saturated quasi-minimal models of Th(Q^omega, +, sigma, 0). 258-262
  
• Thierry Libert, Olivier Esser:
  On topological set theory. 263-273
  
• S. Barry Cooper, Andrew E. M. Lewis, Yue Yang:
  Properly Sigma₂ minimal degrees and 0'' complementation. 274-276
  
• Victor Pambuccian:
  The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist). 277-281
  
• Bernhard Banaschewski:
  Excluded Middle versus Choice in a topos. 282-284
  
• George Weaver, Benjamin George:
  Fraenkel-Carnap properties. 285-290
  
• Tapani Hyttinen:
  Locally modular geometries in homogeneous structures. 291-298
  
• Gerhard Lischke:
  Squares of regular languages. 299-304
  
• Masayuki Karato:
  A Tukey decomposition of P_kappalambda and the tree property for directed sets. 305-312
  
• Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  Fragments of Arithmetic and true sentences. 313-328
  

Volume 51, Number 4, July 2005

• Norihiro Kamide:
  A spatial modal logic with a location interpretation. 331-341
  
• Lorenzo Carlucci:
  Worms, gaps, and hydras. 342-350
  
• Thierry Coquand, Bas Spitters:
  A constructive proof of the Peter-Weyl theorem. 351-359
  
• Josef Berger, Hajime Ishihara:
  Brouwer's fan theorem and unique existence in constructive analysis. 360-364
  
• Hisato Muraki:
  Largest fixed points of set continuous operators and Boffa's Anti-Foundation. 365-376
  
• Beibut Sh. Kulpeshov, H. Dugald Macpherson:
  Minimality conditions on circularly ordered structures. 377-399
  
• Hervé Perdry:
  Henselian valued fields: a constructive point of view. 400-416
  
• Henryk Kotlarski, Bozena Piekart:
  Some variations of the Hardy hierarchy. 417-434
  

Volume 51, Number 5, September 2005

• Saharon Shelah:
  Two cardinals models with gap one revisited. 437-447
  
• Sy D. Friedman:
  Definability degrees. 448-449
  
• Barbara Majcher-Iwanow:
  G_delta-pieces of canonical partitions of G-spaces. 450-461
  
• Bin He:
  A high dimensional Open Coloring Axiom. 462-469
  
• Andrew E. M. Lewis:
  The minimal complementation property above 0'. 470-492
  
• Joel David Hamkins, W. Hugh Woodin:
  The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal. 493-498
  
• George Weaver, Irena Penev:
  From finitary to infinitary second-order logic. 499-506
  
• Hiroshi Sakai:
  Generalized Prikry forcing and iteration of generic ultrapowers. 507-523
  
• Arthur W. Apter:
  Universal partial indestructibility and strong compactness. 524-531
  
• Jakob Grue Simonsen:
  Specker sequences revisited. 532-540
  

Volume 51, Number 6, November 2005

• Yongcheng Wu, Decheng Ding:
  Computability of measurable sets via effective metrics. 543-559
  
• Sakaé Fuchino, Greg Piper:
  Destructibility of stationary subsets of P_kappalambda. 560-569
  
• George Voutsadakis:
  Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property. 570-578
  
• Norihiro Kamide:
  On a logic of involutive quantales. 579-585
  
• Juan C. Martínez:
  A consistency result on cardinal sequences of scattered Boolean spaces. 586-590
  
• Hajnal Andréka, Judit X. Madarász, István Németi:
  Mutual definability does not imply definitional equivalence, a simple example. 591-597
  
• Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis:
  Properties of the real line and weak forms of the Axiom of Choice. 598-609
  
• Nader Vakil, Roozbeh Vakil:
  A remark on uniform spaces with invariant nonstandard hulls. 610-612
  
• Stefano Leonesi, Sonia L'Innocente, Carlo Toffalori:
  Weakly minimal modules over integral group rings and over related classes of rings. 613-625
  
• Enrique Casanovas, Rodrigo Peláez:
  |T|⁺-resplendent models and the Lascar group. 626-631
  
• Jan von Plato:
  Normal derivability in modal logic. 632-638
  
• Mário J. Edmundo:
  A remark on divisibility of definable groups. 639-641
  

• Gerhard Jäger, Dieter Probst:
  Corrigendum to "Variation on a theme of Schütte". 642
  
• Joseph Barback:
  Corrigendum to "Regressive isols and comparability". 643
  
• George Voutsadakis:
  Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". 644