Mathematical Logic Quarterly, Volume 53
Volume 53, Number 1, January 2007
Editorial
Original Papers
Andreas Weiermann:
Phase transition thresholds for some Friedman-style independence results. 4-18 Herwig Nübling:
The polynomial hierarchy for some structures over the binary words. 43-51 Petr Hájek:
On witnessed models in fuzzy logic. 66-77 Arthur W. Apter:
Indestructibility and level by level equivalence and inequivalence. 78-85
Volume 53, Number 2, April 2007
Julien Melleray:
Computing the complexity of the relation of isometry between separable Banach spaces. 128-131 Keita Yokoyama:
Non-standard analysis in ACA0 and Riemann mapping theorem. 132-146 George Voutsadakis:
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas. 147-161 Esko Turunen:
Hyper-Archimedean BL-algebras are MV-algebras. 170-175
Corrigendum
Volume 53, Number 3, June 2007
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 Shahram Mohsenipour:
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures. 289-294
Volume 53, Numbers 4-5, September 2007
Editorial
Original Papers
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
Petr Hájek:
On witnessed models in fuzzy logic II. 610-615 George Voutsadakis:
Categorical abstract algebraic logic: The categorical Suszko operator. 616-635
Corrigendum
maintained by
at
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-16 21:40 CEST by the dblp team