External Links

    Journal: Math. Log. Q.

    Volume 53, Issue 6

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

    Volume 53, Issue 4-5

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

    Volume 53, Issue 3

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

    Volume 53, Issue 2

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

    Volume 53, Issue 1

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