Mathematical Logic Quarterly, Volume 53

Volume 53, Number 1, January 2007

• Armin Hemmerling:
  Editorial: Math. Log. Quart. 1/2007. 3
  Electronic Edition (link) BibTeX

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

Volume 53, Number 2, April 2007

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

• Peter Schuster:
  Corrigendum to "Unique solutions". 214
  Electronic Edition (link) BibTeX

Volume 53, Number 3, June 2007

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

Volume 53, Numbers 4-5, September 2007

• Ker-I Ko, Klaus Weihrauch, Xizhong Zheng:
  Editorial: Math. Log. Quart. 4-5/2007. 325
  Electronic Edition (link) BibTeX

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

Volume 53, Number 6, November 2007

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

• Masami Ito, Gerhard Lischke:
  Corrigendum to "Generalized periodicity and primitivity for words". 642-643
  Electronic Edition (link) BibTeX