Mathematical Logic Quarterly, Volume 53

Volume 53, Number 1, January 2007

• Armin Hemmerling:
  Editorial: Math. Log. Quart. 1/2007. 3
  

• Andreas Weiermann:
  Phase transition thresholds for some Friedman-style independence results. 4-18
  
• Abderezak Ould Houcine:
  On superstable groups with residual properties. 19-26
  
• Kazuma Ikeda, Akito Tsuboi:
  Nonstandard models that are definable in models of Peano Arithmetic. 27-37
  
• Szymon Zeberski:
  On completely nonmeasurable unions. 38-42
  
• Herwig Nübling:
  The polynomial hierarchy for some structures over the binary words. 43-51
  
• Laurence Kirby:
  Addition and multiplication of sets. 52-65
  
• Petr Hájek:
  On witnessed models in fuzzy logic. 66-77
  
• Arthur W. Apter:
  Indestructibility and level by level equivalence and inequivalence. 78-85
  
• Cédric Milliet:
  Small skew fields. 86-90
  
• Masami Ito, Gerhard Lischke:
  Generalized periodicity and primitivity for words. 91-106
  

Volume 53, Number 2, April 2007

• Chanoch Havlin, Saharon Shelah:
  Existence of EF-equivalent non-isomorphic models. 111-127
  
• Julien Melleray:
  Computing the complexity of the relation of isometry between separable Banach spaces. 128-131
  
• Keita Yokoyama:
  Non-standard analysis in ACA₀ and Riemann mapping theorem. 132-146
  
• George Voutsadakis:
  Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. 147-161
  
• Masoud Haveshki, Esfandiar Eslami, Arsham Borumand Saeid:
  A topology induced by uniformity on BL-algebras. 162-169
  
• Esko Turunen:
  Hyper-Archimedean BL-algebras are MV-algebras. 170-175
  
• Thomas Streicher, Ulrich Kohlenbach:
  Shoenfield is Gödel after Krivine. 176-179
  
• Petter K. Køber:
  Uniform domain representations of l^p -spaces. 180-205
  
• Joan Gispert, Antoni Torrens:
  Bounded BCK-algebras and their generated variety. 206-213
  

• Peter Schuster:
  Corrigendum to "Unique solutions". 214
  

Volume 53, Number 3, June 2007

• Norihiro Kamide:
  Synthesized substructural logics. 219-225
  
• Takako Nemoto, MedYahya Ould MedSalem, Kazuyuki Tanaka:
  Infinite games in the Cantor space and subsystems of second order arithmetic. 226-236
  
• Yalin F. Çelikler:
  Quantifier elimination for the theory of algebraically closed valued fields with analytic structure. 237-246
  
• Paul E. Howard:
  Bases, spanning sets, and the axiom of choice. 247-254
  
• José G. Mijares:
  A notion of selective ultrafilter corresponding to topological Ramsey spaces. 255-267
  
• Rostislav Horcík, Carles Noguera, Milan Petrik:
  On n-contractive fuzzy logics. 268-288
  
• Shahram Mohsenipour:
  A generalization of the Keisler-Morley theorem to recursively saturated ordered structures. 289-294
  
• Alf Onshuus, Ya'acov Peterzil:
  A note on stable sets, groups, and theories with NIP. 295-300
  
• Riccardo Camerlo, Alberto Marcone:
  Coloring linear orders with Rado's partial order. 301-305
  
• Paola D'Aquino, Giuseppina Terzo:
  A note on the decidability of exponential terms. 306-310
  
• Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
  Kripke submodels and universal sentences. 311-320
  

Volume 53, Numbers 4-5, September 2007

• Ker-I Ko, Klaus Weihrauch, Xizhong Zheng:
  Editorial: Math. Log. Quart. 4-5/2007. 325
  

• Volker Bosserhoff:
  Computability of solutions of operator equations. 326-344
  
• Vasco Brattka, Ruth Dillhage:
  Computability of compact operators on computable Banach spaces with bases. 345-364
  
• Qingliang Chen, Kaile Su, Xizhong Zheng:
  Primitive recursive real numbers. 365-380
  
• Tanja Grubba, Matthias Schröder, Klaus Weihrauch:
  Computable metrization. 381-395
  
• Robert S. Lubarsky:
  On the Cauchy completeness of the constructive Cauchy reals. 396-414
  
• Hong Lu, Klaus Weihrauch:
  Computable Riesz representation for the dual of C [0; 1]. 415-430
  
• Matthias Schröder:
  Admissible representations for probability measures. 431-445
  
• Victor L. Selivanov:
  Hierarchies of Delta⁰₂-measurable k -partitions. 446-461
  
• Stephen G. Simpson:
  Almost everywhere domination and superhighness. 462-482
  
• Stephen G. Simpson:
  Mass problems and almost everywhere domination. 483-492
  
• Christoph Spandl:
  Computing the topological entropy of shifts. 493-510
  
• Klaus Weihrauch, Ning Zhong:
  Computable analysis of the abstract Cauchy problem in a Banach space and its applications I. 511-531
  
• Fuxiang Yu:
  On the complexity of the pancake problem. 532-546
  

Volume 53, Number 6, November 2007

• Camillo Costantini:
  Pairwise disjoint eight-shaped curves in hybrid planes. 551-557
  
• Olivier Finkel, Stevo Todorcevic:
  Local sentences and Mahlo cardinals. 558-563
  
• Tarek Sayed Ahmed, Basim Samir:
  An Omitting Types Theorem for first order logic with infinitary relation symbols. 564-570
  
• Mário J. Edmundo, Pantelis E. Eleftheriou:
  The universal covering homomorphism in o-minimal expansions of groups. 571-582
  
• Ai-ni Hsieh, James G. Raftery:
  Conserving involution in residuated structures. 583-609
  
• Petr Hájek:
  On witnessed models in fuzzy logic II. 610-615
  
• George Voutsadakis:
  Categorical abstract algebraic logic: The categorical Suszko operator. 616-635
  
• Shimon Garti, Saharon Shelah:
  Two cardinal models for singular µ. 636-641
  

• Masami Ito, Gerhard Lischke:
  Corrigendum to "Generalized periodicity and primitivity for words". 642-643