Mathematical Logic Quarterly, Volume 57

Volume 57, Number 1, February 2011

• Stefan Geschke:
  Weak Borel chromatic numbers. 5-13
  
• Paul Howard:
  The finiteness of compact Boolean algebras. 14-18
  
• Bernhard König:
  Winning strategies in club games and their applications. 19-26
  
• Anna R. Ferraioli, Ada Lettieri:
  Representations of MV-algebras by sheaves. 27-43
  
• Mário J. Edmundo:
  On the Euler characteristic of definable groups. 44-46
  
• Denisa Diaconescu, George Georgescu:
  Forcing operators on MTL-algebras. 47-64
  
• Achim Blumensath:
  Simple monadic theories and indiscernibles. 65-86
  
• Miklós Ferenczi:
  Existence of partial transposition means representability in cylindric algebras. 87-94
  
• Luca Motto Ros:
  Game representations of classes of piecewise definable functions. 95-112
  

Volume 57, Number 2, April 2011

• Andreas Weiermann, Gunnar Wilken:
  Ordinal arithmetic with simultaneously defined theta-functions. 116-132
  
• Elisabetta Pastori, Pablo Spiga:
  Failure of n-uniqueness: a family of examples. 133-148
  
• Pierre Matet:
  Weak saturation of ideals on P_κ(λ). 149-165
  
• Somayeh Motamed, Lida Torkzadeh, Arsham Borumand Saeid, Neda Mohtashamnia:
  Radical of filters in BL-algebras. 166-179
  
• Shawn Hedman, Wai Yan Pong:
  Quantifier-eliminable locally finite graphs. 180-185
  
• Marek Balcerzak, Tomasz Filipczak:
  On monotone hull operations. 186-193
  
• Razvan Diaconescu:
  On quasi-varieties of multiple valued logic models. 194-203
  
• Michael Lieberman:
  A topology for galois types in abstract elementary classes. 204-216
  
• Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker:
  Stability of representations of effective partial algebras. 217-231
  

Volume 57, Number 3, June 2011

• Valeria Castaño, Marcela Muñoz Santis:
  De Morgan Heyting algebras satisfying the identity x^n(′*) ≈ x^(n+1)(′*). 236-245
  
• Beibut Sh. Kulpeshov:
  Binary types in ℵ₀-categorical weakly o-minimal theories. 246-255
  
• Predrag Tanovic:
  On definability of types of finite Cantor-Bendixson rank. 256-260
  
• Arthur W. Apter:
  Indestructibility, HOD, and the Ground Axiom. 261-265
  
• Jason A. Schanker:
  Weakly measurable cardinals. 266-280
  
• Lankun Guo, Guo-Qiang Zhang, Qingguo Li:
  Fuzzy closure systems on L - ordered sets. 281-291
  
• Alexander Kreuzer:
  The cohesive principle and the Bolzano-Weierstraß principle. 292-298
  
• Andrea Cantini:
  Extending constructive operational set theory by impredicative principles. 299-322
  
• Kenshi Miyabe:
  Truth-table Schnorr randomness and truth-table reducible randomness. 323-338
  

Volume 57, Number 4, August 2011

• Saharon Shelah:
  Models of expansions of &equation image; with no end extensions. 341-365
  
• Arthur W. Apter, Shoshana Friedman:
  Coding into HOD via normal measures with some applications. 366-372
  
• Thierry Coquand, Erik Palmgren, Bas Spitters:
  Metric complements of overt closed sets. 373-378
  
• Ján Pich:
  Nisan-Wigderson generators in proof systems with forms of interpolation. 379-383
  
• Tarek Sayed Ahmed:
  On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras. 384-394
  
• Norihiro Kamide:
  Notes on Craig interpolation for LJ with strong negation. 395-399
  
• Vladimir Ristic, Radosav S. Dordevic, Nebojsa Ikodinovic:
  Biprobability logic with conditional expectation. 400-408
  
• Achim Blumensath:
  Simple monadic theories and partition width. 409-431
  
• Milena Stefanova, Silvio Valentini:
  Spatiality and classical logic. 432-440
  

Volume 57, Number 5, October 2011

• Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  A note on parameter free Π₁-induction and restricted exponentiation. 444-455
  
• Juan Carlos Martínez, Lajos Soukup:
  Superatomic Boolean algebras constructed from strongly unbounded functions. 456-469
  
• Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo:
  Kolmogorov complexity and characteristic constants of formal theories of arithmetic. 470-473
  
• Giacomo Lenzi:
  On a positive set theory with inequality. 474-480
  
• Hiroki Takamura:
  Powers of positive elements in C*-algebras. 481-484
  
• Abhijit Dasgupta:
  A set of axioms for nonstandard extensions. 485-493
  
• Karim Khanaki, Seyed-Mohammad Bagheri:
  Random variables and integral logic. 494-503
  
• John Case, Sanjay Jain:
  Rice and Rice-Shapiro Theorems for transfinite correction grammars. 504-516
  
• Patrizio Cintioli:
  Low sets without subsets of higher many-one degree. 517-523
  
• Emil Jerábek, Phuong Nguyen:
  Simulating non-prenex cuts in quantified propositional calculus. 524-532
  

Volume 57, Number 6, December 2011

• Olaf Beyersdorff, Zenon Sadowski:
  Do there exist complete sets for promise classes? 535-550
  
• Daria Spescha, Thomas Strahm:
  Realisability in weak systems of explicit mathematics. 551-565
  
• P. A. Guil Asensio, M. C. Izurdiaga, Philipp Rothmaler, Blas Torrecillas:
  Strict Mittag-Leffler modules. 566-570
  
• Sandra Marques Pinto, M. Teresa Oliveira-Martins:
  Congruences and ideals on Boolean modules: a heterogeneous point of view. 571-581
  
• Piotr Borodulin-Nadzieja, Szymon Glab:
  Ideals with bases of unbounded Borel complexity. 582-590
  
• Gido Scharfenberger-Fabian:
  Chain homogeneous Souslin algebras. 591-610
  
• Ulrich Kohlenbach:
  A note on the monotone functional interpretation. 611-614
  
• Ralf Schindler, Philipp Schlicht:
  Thin equivalence relations in scaled pointclasses. 615-620
  

Last update Tue May 21 19:23:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page