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 updated on Tue May 21 03:16:49 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page