Journal: Math. Log. Q.

Volume 56, Issue 6

564 -- 572Sam Sanders. Relative arithmetic
573 -- 590Samuel R. Buss, Alan S. Johnson. The quantifier complexity of polynomial-size iterated definitions in first-order logic
591 -- 610Jaime Gaspar, Paulo Oliva. Proof interpretations with truth
611 -- 624Annika Kanckos. Consistency of Heyting arithmetic in natural deduction
625 -- 630Jacek Cichon, Przemyslaw Szczepaniak. Hamel-isomorphic images of the unit ball
631 -- 642Laurence Kirby. Substandard models of finite set theory
643 -- 658Alexej P. Pynko. Subquasivarieties of implicative locally-finite quasivarieties
659 -- 665Thilo Weinert. The Bounded Axiom A Forcing Axiom
666 -- 669Albert Ziegler. Refinement is equivalent to Fullness

Volume 56, Issue 5

461 -- 469Philippe Moser. On the convergence of Fourier series of computable Lebesgue integrable functions
470 -- 474Janak Ramakrishnan. Maximal small extensions of o-minimal structures
475 -- 487Kyriakos Keremedis. Tychonoff products of compact spaces in ZF and closed ultrafilters
488 -- 502Arno Pauly. On the (semi)lattices induced by continuous reducibilities
503 -- 507Hassan Sfouli. Definability and nondefinability results for certain o-minimal structures
508 -- 532Pavol Safarik, Ulrich Kohlenbach. On the computational content of the Bolzano-Weierstraß Principle
541 -- 548James H. Schmerl. Reverse Mathematics and Grundy colorings of graphs
549 -- 560Chaz Schlindwein. Understanding preservation theorems, II

Volume 56, Issue 4

340 -- 374Paolo Lipparini. More on regular and decomposable ultrafilters in ZFC
375 -- 387Giovanni Curi. On some peculiar aspects of the constructive theory of point-free spaces
388 -- 396Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc. Tautologies over implication with negative literals
397 -- 399Saharon Shelah. On long increasing chains modulo flat ideals
400 -- 405Young Bae Jun, Min Su Kang, Hee Sik Kim. New types of hyper MV-deductive systems in hyper MV-algebras
406 -- 408Janak Ramakrishnan. Uniform bounds on growth in o-minimal structures
409 -- 424Joan Bagaria, Vladimir Kanovei. On coding uncountable sets by reals
425 -- 433Renato A. Lewin, Irene F. Mikenberg. First order theory for literal-paraconsistent and literal-paracomplete matrices
434 -- 441Douglas S. Bridges, Hannes Diener. The anti-Specker property, positivity, and total boundedness
442 -- 448Sandra Marques Pinto, M. Teresa Oliveira-Martins. Subdirectly irreducible separable dynamic algebras

Volume 56, Issue 3

228 -- 238Erez Shochat. A Galois correspondence for countable short recursively saturated models of PA
239 -- 256Françoise Point. Existentially closed ordered difference fields and rings
257 -- 261Yuki Anbo, Koichiro Ikeda. A note on stability spectrum of generic structures
262 -- 278Emil Jerábek. Abelian groups and quadratic residues in weak arithmetic
279 -- 288Antonio di Nola, Revaz Grigolia, Luca Spada. A discrete representation of free MV-algebras
289 -- 298Xiangnan Zhou, Qingguo Li. Boolean products of ::::R::::::0::-algebras
299 -- 309Manuel Abad, Diego N. Castaño, J. Patricio Díaz Varela. Zariski-type topology for implication algebras
310 -- 322Siu-Ah Ng. Lévy processes on a first order model
323 -- 330Thomas G. McLaughlin. Some observations on the substructure lattice of a Delta::1:: ultrapower
331 -- 336Gonçalo Gutierres. The Ultrafilter Closure in ZF

Volume 56, Issue 2

116 -- 125Jindrich Zapletal. Applications of the ergodic iteration theorem
126 -- 130Zofia Adamowicz, Leszek Aleksander Kolodziejczyk. A note on the Sigma::1:: collection scheme and fragments of bounded arithmetic
131 -- 147Javier Gutiérrez García, Iraide Mardones-Pérez, María Angeles de Prada-Vicente, Dexue Zhang. Fuzzy Galois connections categorically
148 -- 158J. Donald Monk. Special subalgebras of Boolean algebras
159 -- 163Feresiano Mwesigye, John K. Truss. Countably categorical coloured linear orders
164 -- 170Arthur W. Apter. How many normal measures can Alef
171 -- 174Petr Hájek. On witnessed models in fuzzy logic III - witnessed Gödel logics
175 -- 184Apoloniusz Tyszka. Two conjectures on the arithmetic in R and C
185 -- 190Horst Herrlich, Eleftherios Tachtsis. Odd-sized partitions of Russell-sets
191 -- 197Douglas S. Bridges, Matthew Hendtlass. Continuous homomorphisms of R onto a compact group
198 -- 204Ermek S. Nurkhaidarov. Interstitial and pseudo gaps in models of Peano Arithmetic
205 -- 215Joan Rand Moschovakis. Unavoidable sequences in constructive analysis
216 -- 224Jan Kraszewski, Robert Ralowski, Przemyslaw Szczepaniak, Szymon Zeberski. Bernstein sets and ::::kappa:::: -coverings

Volume 56, Issue 1

4 -- 12Arthur W. Apter. Tallness and level by level equivalence and inequivalence
13 -- 28Gilda Ferreira, Paulo Oliva. Confined modified realizability
29 -- 34Victor Pambuccian. Forms of the Pasch axiom in ordered geometry
35 -- 41Evgueni Vassiliev. On pseudolinearity and generic pairs
42 -- 50Young Bae Jun, Kyoung Ja Lee, Asghar Khan. Soft ordered semigroups
51 -- 62Lida Torkzadeh, Afsaneh Ahadpanah. Hyper ::::MV::::-ideals in hyper ::::MV::::-algebras
63 -- 66Ricardo Almeida. Connectedness and compactness on standard sets
67 -- 77Barbara F. Csima, Iskander S. Kalimullin. Degree spectra and immunity properties
78 -- 84Seyed Mohammad Bagheri. A Los type theorem for linear metric formulas
85 -- 88Ernst Zimmermann. Full Lambek Calculus in natural deduction
89 -- 102Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco. Analyzing completeness of axiomatic functional systems for temporal × modal logics
103 -- 112Tarek Sayed Ahmed. The class of polyadic algebras has the super amalgamation property