External Links

    Journal: Math. Log. Q.

    Volume 52, Issue 6

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

    Volume 52, Issue 5

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

    Volume 52, Issue 4

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

    Volume 52, Issue 3

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

    Volume 52, Issue 2

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

    Volume 52, Issue 1

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