Mathematical Logic Quarterly, Volume 52

Volume 52, Number 1, January 2006

Editorial

Armin Hemmerling:
Editorial: MLQ - Math. Log. Quart. 1/2006. 3
Electronic Edition (link) BibTeX

Original Paper

Annie Chateau, Malika More:
The ultra-weak Ash conjecture and some particular cases. 4-13
Electronic Edition (link) BibTeX
Mihai Prunescu:
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions. 14-19
Electronic Edition (link) BibTeX
Gerhard Lischke:
Restorations of punctured languages and similarity of languages. 20-28
Electronic Edition (link) BibTeX
Andreas Spillner:
Minimum boundary touching tilings of polyominoes. 29-36
Electronic Edition (link) BibTeX
Uffe Flarup Hansen, Klaus Meer:
Two logical hierarchies of optimization problems over the real numbers. 37-50
Electronic Edition (link) BibTeX
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
Envelopes, indicators and conservativeness. 51-70
Electronic Edition (link) BibTeX
Andrzej Roslanowski, Saharon Shelah:
How much sweetness is there in the universe? 71-86
Electronic Edition (link) BibTeX
Amélie Gheerbrant, Marcin Mostowski:
Recursive complexity of the Carnap first order modal logic C. 87-94
Electronic Edition (link) BibTeX
Majid Alizadeh, Mohammad Ardeshir:
On Löb algebras. 95-105
Electronic Edition (link) BibTeX
Tarek Sayed Ahmed:
The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable. 106-112
Electronic Edition (link) BibTeX

Volume 52, Number 2, March 2006

Martin Goldstern, Jakob Kellner:
New reals: Can live with them, can live without them. 115-124
Electronic Edition (link) BibTeX
Seyed Mohammad Bagheri:
Some preservation theorems in an intermediate logic. 125-133
Electronic Edition (link) BibTeX
Sandra Marques Pinto, M. Teresa Oliveira-Martins, M. Céu Pinto:
Monadic dynamic algebras. 134-150
Electronic Edition (link) BibTeX
Saharon Shelah, Jouko A. Väänänen:
Recursive logic frames. 151-164
Electronic Edition (link) BibTeX
Thomas Brihaye:
A note on the undecidability of the reachability problem for o-minimal dynamical systems. 165-170
Electronic Edition (link) BibTeX
Vilém Vychodil:
Continuous fuzzy Horn logic. 171-186
Electronic Edition (link) BibTeX
Benedikt Löwe:
A parametrised choice principle and Martin's conjecture on Blackwell determinacy. 187-189
Electronic Edition (link) BibTeX
Jana Maríková:
Geometric properties of semilinear and semibounded sets. 190-202
Electronic Edition (link) BibTeX
Teruyuki Yorioka:
P_max variations related to slaloms. 203-216
Electronic Edition (link) BibTeX

Volume 52, Number 3, June 2006

Manuela Busaniche:
Free nilpotent minimum algebras. 219-236
Electronic Edition (link) BibTeX
David Steiner, Thomas Strahm:
On the proof theory of type two functionals based on primitive recursive operations. 237-252
Electronic Edition (link) BibTeX
Michael Rathjen:
A note on Bar Induction in Constructive Set Theory. 253-258
Electronic Edition (link) BibTeX
Petra Murinová, Vilém Novák:
Omitting types in fuzzy logic with evaluated syntax. 259-268
Electronic Edition (link) BibTeX
Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara:
Residuated logics based on strict triangular norms with an involutive negation. 269-282
Electronic Edition (link) BibTeX
Bernhard König:
Dense subtrees in complete Boolean algebras. 283-287
Electronic Edition (link) BibTeX
George Voutsadakis:
Categorical abstract algebraic logic: The largest theory system included in a theory family. 288-294
Electronic Edition (link) BibTeX
Sato Kentaro:
Forcing under Anti-Foundation Axiom: An expression of the stalks. 295-314
Electronic Edition (link) BibTeX
Fernando Ferreira, Gilda Ferreira:
Counting as integration in feasible analysis. 315-320
Electronic Edition (link) BibTeX

Volume 52, Number 4, August 2006

Jakob Grue Simonsen:
On local non-compactness in recursive mathematics. 323-330
Electronic Edition (link) BibTeX
Cédric Rivière:
The model theory of m-ordered differential fields. 331-339
Electronic Edition (link) BibTeX
Luis M. Villegas-Silva:
A gap 1 cardinal transfer theorem. 340-350
Electronic Edition (link) BibTeX
Noboru Osuga:
The covering number and the uniformity of the ideal I_f. 351-358
Electronic Edition (link) BibTeX
Joseph Barback:
On hyper-torre isols. 359-361
Electronic Edition (link) BibTeX
Olga Xirotiri:
There is no safe pairing function over an arbitrary structure. 362-366
Electronic Edition (link) BibTeX
Alexander Berenstein:
Definable subgroups of measure algebras. 367-374
Electronic Edition (link) BibTeX
Marie Ferbus-Zanda, Serge Grigorieff:
Kolmogorov complexity and set theoretical representations of integers. 375-403
Electronic Edition (link) BibTeX
Sergio A. Celani:
n-linear weakly Heyting algebras. 404-416
Electronic Edition (link) BibTeX

Volume 52, Number 5, October 2006

Kohtaro Tadaki:
An extension of Chaitin's halting probability Omega to a measurement operator in an infinite dimensional quantum system. 419-438
Electronic Edition (link) BibTeX
Joanna Golinska-Pilarek:
Number of non-Fregean sentential logics that have adequate models. 439-443
Electronic Edition (link) BibTeX
Mohamed Amer, Tarek Sayed Ahmed:
Polyadic and cylindric algebras of sentences. 444-449
Electronic Edition (link) BibTeX
Stefano Baratella, Andrea Masini:
A note on unbounded metric temporal logic over dense time domains. 450-456
Electronic Edition (link) BibTeX
Arthur W. Apter:
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence. 457-463
Electronic Edition (link) BibTeX
Douglas S. Bridges, Hannes Diener:
A constructive treatment of Urysohn's Lemma in an apartness space. 464-469
Electronic Edition (link) BibTeX
Guo-Jun Wang, Yan-Hong She:
A topological characterization of consistency of logic theories in propositional logic. 470-477
Electronic Edition (link) BibTeX
Renato A. Lewin, Irene F. Mikenberg:
Literal-paraconsistent and literal-paracomplete matrices. 478-493
Electronic Edition (link) BibTeX
David A. Ross:
A nonstandard proof of a lemma from constructive measure theory. 494-497
Electronic Edition (link) BibTeX
Petar Maksimovic, Predrag Janicic:
Simple characterization of functionally complete one-element sets of propositional connectives. 498-504
Electronic Edition (link) BibTeX
José Gil-Férez:
Multi-term pi-institutions and their equivalence. 505-526
Electronic Edition (link) BibTeX

Volume 52, Number 6, December 2006

Richard Ketchersid, Stuart Zoble:
On the extender algebra being complete. 531-533
Electronic Edition (link) BibTeX
Peter Schuster:
Unique solutions. 534-539
Electronic Edition (link) BibTeX
Arief Daynes:
A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic. 540-554
Electronic Edition (link) BibTeX
Beibut Sh. Kulpeshov:
On aleph₀-categorical weakly circularly minimal structures. 555-574
Electronic Edition (link) BibTeX
Norman Danner, Chris Pollett:
The weak pigeonhole principle for function classes in S¹₂. 575-584
Electronic Edition (link) BibTeX
James M. Henle:
Calculus on strong partition cardinals. 585-594
Electronic Edition (link) BibTeX
Ilnur I. Batyrshin:
Quasi-completeness and functions without fixed-points. 595-601
Electronic Edition (link) BibTeX
Ai-ni Hsieh, James G. Raftery:
A finite model property for RMI_min. 602-612
Electronic Edition (link) BibTeX
Emil Jerábek:
The strength of sharply bounded induction. 613-624
Electronic Edition (link) BibTeX
Guido Gherardi:
Effective Borel degrees of some topological functions. 625-642
Electronic Edition (link) BibTeX