![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Mathematical Logic Quarterly, Volume 53
Volume 53, Number 1, January 2007
- Armin Hemmerling:
Editorial: Math. Log. Quart. 1/2007. 3
- Andreas Weiermann:
Phase transition thresholds for some Friedman-style independence results. 4-18 - Abderezak Ould Houcine:
On superstable groups with residual properties. 19-26 - Kazuma Ikeda, Akito Tsuboi:
Nonstandard models that are definable in models of Peano Arithmetic. 27-37 - Szymon Zeberski
:
On completely nonmeasurable unions. 38-42 - Herwig Nübling:
The polynomial hierarchy for some structures over the binary words. 43-51 - Laurence Kirby:
Addition and multiplication of sets. 52-65 - Petr Hájek:
On witnessed models in fuzzy logic. 66-77 - Arthur W. Apter:
Indestructibility and level by level equivalence and inequivalence. 78-85 - Cédric Milliet:
Small skew fields. 86-90 - Masami Ito, Gerhard Lischke:
Generalized periodicity and primitivity for words. 91-106
Volume 53, Number 2, April 2007
- Chanoch Havlin, Saharon Shelah
:
Existence of EF-equivalent non-isomorphic models. 111-127 - 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 - Masoud Haveshki, Esfandiar Eslami, Arsham Borumand Saeid
:
A topology induced by uniformity on BL-algebras. 162-169 - Esko Turunen:
Hyper-Archimedean BL-algebras are MV-algebras. 170-175 - Thomas Streicher, Ulrich Kohlenbach:
Shoenfield is Gödel after Krivine. 176-179 - Petter Kristian Køber:
Uniform domain representations of lp -spaces. 180-205 - Joan Gispert, Antoni Torrens:
Bounded BCK-algebras and their generated variety. 206-213
- Peter Schuster
:
Corrigendum to "Unique solutions". 214
Volume 53, Number 3, June 2007
- Norihiro Kamide:
Synthesized substructural logics. 219-225 - 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 - 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 - Rostislav Horcík
, Carles Noguera
, Milan Petrík
:
On n-contractive fuzzy logics. 268-288 - Shahram Mohsenipour:
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures. 289-294 - Alf Onshuus
, Ya'acov Peterzil:
A note on stable sets, groups, and theories with NIP. 295-300 - Riccardo Camerlo, Alberto Marcone
:
Coloring linear orders with Rado's partial order. 301-305 - Paola D'Aquino, Giuseppina Terzo
:
A note on the decidability of exponential terms. 306-310 - Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg:
Kripke submodels and universal sentences. 311-320
Volume 53, Numbers 4-5, September 2007
- Ker-I Ko, Klaus Weihrauch, Xizhong Zheng:
Editorial: Math. Log. Quart. 4-5/2007. 325
- Volker Bosserhoff:
Computability of solutions of operator equations. 326-344 - Vasco Brattka
, Ruth Dillhage:
Computability of compact operators on computable Banach spaces with bases. 345-364 - Qingliang Chen, Kaile Su
, Xizhong Zheng:
Primitive recursive real numbers. 365-380 - Tanja Grubba, Matthias Schröder
, Klaus Weihrauch:
Computable metrization. 381-395 - Robert S. Lubarsky:
On the Cauchy completeness of the constructive Cauchy reals. 396-414 - Hong Lu, Klaus Weihrauch:
Computable Riesz representation for the dual of C [0; 1]. 415-430 - Matthias Schröder
:
Admissible representations for probability measures. 431-445 - Victor L. Selivanov:
Hierarchies of Delta02-measurable k -partitions. 446-461 - Stephen G. Simpson:
Almost everywhere domination and superhighness. 462-482 - Stephen G. Simpson:
Mass problems and almost everywhere domination. 483-492 - Christoph Spandl:
Computing the topological entropy of shifts. 493-510 - 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
- Camillo Costantini:
Pairwise disjoint eight-shaped curves in hybrid planes. 551-557 - Olivier Finkel, Stevo Todorcevic:
Local sentences and Mahlo cardinals. 558-563 - 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 - Ai-ni Hsieh, James G. Raftery:
Conserving involution in residuated structures. 583-609 - Petr Hájek:
On witnessed models in fuzzy logic II. 610-615 - George Voutsadakis:
Categorical abstract algebraic logic: The categorical Suszko operator. 616-635 - Shimon Garti
, Saharon Shelah
:
Two cardinal models for singular µ. 636-641
- Masami Ito, Gerhard Lischke:
Corrigendum to "Generalized periodicity and primitivity for words". 642-643
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.