Mathematical Logic Quarterly, Volume 53
Volume 53, Number 1, January 2007
- Kazuma Ikeda, Akito Tsuboi:
Nonstandard models that are definable in models of Peano Arithmetic. 27-37
Volume 53, Number 2, April 2007
- Julien Melleray:
Computing the complexity of the relation of isometry between separable Banach spaces. 128-131 - 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
Volume 53, Number 3, June 2007
- 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 - José G. Mijares:
A notion of selective ultrafilter corresponding to topological Ramsey spaces. 255-267 - Shahram Mohsenipour:
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures. 289-294 - Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
Kripke submodels and universal sentences. 311-320
Volume 53, Numbers 4-5, September 2007
- Vasco Brattka, Ruth Dillhage:
Computability of compact operators on computable Banach spaces with bases. 345-364 - Klaus Weihrauch, Ning Zhong:
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I. 511-531
Volume 53, Number 6, November 2007
- 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
- Masami Ito, Gerhard Lischke:
Corrigendum to "Generalized periodicity and primitivity for words". 642-643