External Links

    Journal: Math. Log. Q.

    Volume 55, Issue 6

    572 -- 586Marcel Erné. Finiteness conditions and distributive laws for Boolean algebras
    587 -- 597Ilnur I. Batyrshin. Non-isolated quasi-degrees
    598 -- 604Mário J. Edmundo, Pantelis E. Eleftheriou. Definable group extensions in semi-bounded o-minimal structures
    605 -- 616Stefano Cavagnetto. Some applications of propositional logic to cellular automata
    617 -- 632Carlo Toffalori, Kathryn Vozoris. Notes on local o-minimality
    633 -- 636Andrey N. Frolov, Maxim V. Zubkov. eta-representable degrees
    637 -- 648Mohammad Ardeshir, Rasoul Ramezanian. Decidability and Specker sequences in intuitionistic mathematics
    649 -- 658Arsham Borumand Saeid, Somayeh Motamed. Some results in ::::BL:::: -algebras
    659 -- 665Robert Ralowski. Remarks on nonmeasurable unions of big point families
    666 -- 668Tarek Sayed Ahmed. On neat embeddings of cylindric algebras

    Volume 55, Issue 5

    468 -- 486Lawrence Peter Belluce, Antonio di Nola. Commutative rings whose ideals form an MV-algebra
    493 -- 508Xueling Ma, Jianming Zhan, Young Bae Jun. On ( ELEMENT OF , ELEMENT OF OR q)-fuzzy filters of ::::R::::::0::-algebras
    509 -- 514Leszek Aleksander Kolodziejczyk, Neil Thapen. The polynomial and linear time hierarchies in V:::0:::
    515 -- 534João Rasga, Walter Alexandre Carnielli, Cristina Sernadas. Interpolation via translations
    535 -- 538Nikolaos Efstathiou Sofronidis. Calculus of variations and descriptive set theory
    539 -- 541Liljana Babinkostova. On some questions about selective separability
    542 -- 550Victoria Gitman. Proper and piecewise proper families of reals
    551 -- 561Mircea-Dan Hernest. Light monotone Dialectica methods for proof mining

    Volume 55, Issue 4

    340 -- 0P. W. Goldberg, J. Rothe. Editorial: Math. Log. Quart. 4/2009
    341 -- 361Joel Uckelman, Yann Chevaleyre, Ulle Endriss, Jérôme Lang. Representing Utility Functions via Weighted Goals
    362 -- 376Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge. A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
    377 -- 396Yoram Bachrach, Michael Zuckerman, Jeffrey S. Rosenschein. Effort Games and the Price of Myopia
    397 -- 424Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. Hybrid Elections Broaden Complexity-Theoretic Resistance to Control
    425 -- 443Gábor Erdélyi, Markus Nowak, Jörg Rothe. Sincere-Strategy Preference-Based Approval Voting Fully Resists Constructive Control and Broadly Resists Destructive Control
    444 -- 459Felix Brandt, Felix A. Fischer, Paul Harrenstein. The Computational Complexity of Choice Sets
    460 -- 463Felix Brandt. Some Remarks on Dodgson s Voting Rule

    Volume 55, Issue 3

    228 -- 236Arthur W. Apter. Indestructibility and stationary reflection
    237 -- 244Tarek Sayed Ahmed. A simple construction of representable relation algebras with non-representable completions
    245 -- 258Daria Spescha, Thomas Strahm. Elementary explicit types and polynomial time operations
    259 -- 270Jialu Zhang, Quanfa Chen. Fuzzy topology representation for MV-algebras
    271 -- 279Arthur W. Apter. Indestructibility under adding Cohen subsets and level by level equivalence
    280 -- 287Tarek Sayed Ahmed. A note on substitutions in representable cylindric algebras
    288 -- 298Sergio A. Celani, Leonardo M. Cabrer. Weak-quasi-Stone algebras
    299 -- 306Paul B. Larson, Saharon Shelah. Splitting stationary sets from weak forms of Choice
    307 -- 319Graciela Domenech, Hector Freytes, Christian de Ronde. Modal-type orthomodular logic
    320 -- 336Rostislav Horcík, Franco Montagna. Archimedean classes in integral commutative residuated chains

    Volume 55, Issue 2

    116 -- 137Olaf Beyersdorff. On the correspondence between arithmetic theories and propositional proof systems - a survey
    138 -- 153Agi Kurucz. Weakly associative relation algebras with projections
    154 -- 176Takako Nemoto. Determinacy of Wadge classes and subsystems of second order arithmetic
    177 -- 184Morteza Moniri, Mostafa Zaare. Preservation theorems for Kripke models
    185 -- 200Satyadev Nandakumar. A characterization of constructive dimension
    201 -- 211Henryk Kotlarski, Konrad Zdanowski. On a question of Andreas Weiermann
    212 -- 224Naohi Eguchi. A lexicographic path order with slow growing derivation bounds

    Volume 55, Issue 1

    4 -- 20Gunter Fuchs. Successor levels of the Jensen hierarchy
    21 -- 30Shokoofeh Ghorbani, Esfandiar Eslami, Abbas Hasankhani. On the category of hyper MV-algebras
    31 -- 36Fred Richman. Intuitionistic notions of boundedness in N
    37 -- 50Camilo Argoty, Alexander Berenstein. Hilbert spaces expanded with a unitary operator
    51 -- 67George Voutsadakis. Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
    68 -- 86Joel David Hamkins. Tall cardinals
    105 -- 112Wei Yao, Ling-Xia Lu. Fuzzy Galois connections on fuzzy posets
    runs on