ask others

Mathematical Logic Quarterly, Volume 53

> Home > Journals > Mathematical Logic Quarterly

Volume 53, Number 1, January 2007

Editorial

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Hemmerling07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Hemmerling07
Armin Hemmerling:
Editorial: Math. Log. Quart. 1/2007. 3

Original Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Weiermann07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Weiermann07
Andreas Weiermann:
Phase transition thresholds for some Friedman-style independence results. 4-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Houcine07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Houcine07
Abderezak Ould Houcine:
On superstable groups with residual properties. 19-26
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/IkedaT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/IkedaT07
Kazuma Ikeda, Akito Tsuboi:
Nonstandard models that are definable in models of Peano Arithmetic. 27-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Zeberski07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Zeberski07
Szymon Zeberski:
On completely nonmeasurable unions. 38-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Nubling07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Nubling07
Herwig Nübling:
The polynomial hierarchy for some structures over the binary words. 43-51
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Kirby07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Kirby07
Laurence Kirby:
Addition and multiplication of sets. 52-65
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Hajek07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Hajek07
Petr Hájek:
On witnessed models in fuzzy logic. 66-77
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Apter07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Apter07
Arthur W. Apter:
Indestructibility and level by level equivalence and inequivalence. 78-85
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Milliet07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Milliet07
Cédric Milliet:
Small skew fields. 86-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/ItoL07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/ItoL07
Masami Ito, Gerhard Lischke:
Generalized periodicity and primitivity for words. 91-106

Volume 53, Number 2, April 2007

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/HavlinS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/HavlinS07
Chanoch Havlin, Saharon Shelah:
Existence of EF-equivalent non-isomorphic models. 111-127
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Melleray07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Melleray07
Julien Melleray:
Computing the complexity of the relation of isometry between separable Banach spaces. 128-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Yokoyama07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Yokoyama07
Keita Yokoyama:
Non-standard analysis in ACA₀ and Riemann mapping theorem. 132-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Voutsadakis07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Voutsadakis07
George Voutsadakis:
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. 147-161
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/HaveshkiES07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/HaveshkiES07
Masoud Haveshki, Esfandiar Eslami, Arsham Borumand Saeid:
A topology induced by uniformity on BL-algebras. 162-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Turunen07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Turunen07
Esko Turunen:
Hyper-Archimedean BL-algebras are MV-algebras. 170-175
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/StreicherK07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/StreicherK07
Thomas Streicher, Ulrich Kohlenbach:
Shoenfield is Gödel after Krivine. 176-179
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Kober07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Kober07
Petter Kristian Køber:
Uniform domain representations of l^p-spaces. 180-205
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/GispertT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/GispertT07
Joan Gispert, Antoni Torrens:
Bounded BCK-algebras and their generated variety. 206-213

Corrigendum

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Schuster07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Schuster07
Peter Schuster:
Corrigendum to "Unique solutions". 214

Volume 53, Number 3, June 2007

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

Volume 53, Numbers 4-5, September 2007

Editorial

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/KoWZ07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/KoWZ07
Ker-I Ko, Klaus Weihrauch, Xizhong Zheng:
Editorial: Math. Log. Quart. 4-5/2007. 325

Original Papers

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

Volume 53, Number 6, November 2007

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Costantini07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Costantini07
Camillo Costantini:
Pairwise disjoint eight-shaped curves in hybrid planes. 551-557
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/FinkelT07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/FinkelT07
Olivier Finkel, Stevo Todorcevic:
Local sentences and Mahlo cardinals. 558-563
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/AhmedS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/AhmedS07
Tarek Sayed Ahmed, Basim Samir:
An Omitting Types Theorem for first order logic with infinitary relation symbols. 564-570
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/EdmundoE07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/EdmundoE07
Mário J. Edmundo, Pantelis E. Eleftheriou:
The universal covering homomorphism in o-minimal expansions of groups. 571-582
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/HsiehR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/HsiehR07
Ai-ni Hsieh, James G. Raftery:
Conserving involution in residuated structures. 583-609
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Hajek07a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Hajek07a
Petr Hájek:
On witnessed models in fuzzy logic II. 610-615
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/Voutsadakis07a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/Voutsadakis07a
George Voutsadakis:
Categorical abstract algebraic logic: The categorical Suszko operator. 616-635
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/GartiS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/GartiS07
Shimon Garti, Saharon Shelah:
Two cardinal models for singular µ. 636-641

Corrigendum

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mlq/ItoL07a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mlq/ItoL07a
Masami Ito, Gerhard Lischke:
Corrigendum to "Generalized periodicity and primitivity for words". 642-643

maintained by

at