Journal: Math. Log. Q.

Volume 66, Issue 4

375 -- 0. Cover Picture
377 -- 379. Contents: (Math. Log. Quart. 4/2020)
380 -- 394Andrea Cantini. A fixed point theory over stratified truth
395 -- 408Thomas G. Kucera, Marcos Mazari-Armida. On universal modules with pure embeddings
409 -- 417Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar, Ignacio D. Viglizzo. A note on chain-based semi-Heyting algebras
418 -- 437Michal Korch, Tomasz Weiss. Special subsets of the generalized Cantor space and generalized Baire space
438 -- 447Kento Takagi, Ryo Kashima. On the completeness and the decidability of strictly monadic second-order logic
448 -- 465Rachel Epstein, Karen M. Lange. Agreement reducibility
466 -- 478Mayra Montalvo-Ballesteros, John Kenneth Truss. Surjectively rigid chains
479 -- 483Anton Freund. What is effective transfinite recursion in reverse mathematics?
484 -- 493Satoru Niki. Decidable variables for constructive logics

Volume 66, Issue 3

253 -- 0. Cover Picture
255 -- 258. Contents: (Math. Log. Quart. 3/2020)
259 -- 279Amitayu Banerjee. Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse
280 -- 294Saharon Shelah. The Hanf number in the strictly stable case
295 -- 299Masaru Kada, Souji Shizuma. Strategic equivalence among hat puzzles of various protocols with many colors
300 -- 310Thomas Powell 0001. A note on the finitization of Abelian and Tauberian theorems
311 -- 315Nattapon Sonpanow, Pimpen Vejjajiva. Independent families of functions and permutations
316 -- 325Tin Perkov, Luka Mikec. Existential definability of modal frame classes
326 -- 335Anton Freund. A note on ordinal exponentiation and derivatives of normal functions
336 -- 340Ziv Shami. A note on the non-forking-instances topology
341 -- 354Valentino Delle Rose, Luca San Mauro, Andrea Sorbi. Word problems and ceers
355 -- 365Athanassios Tzouvaras. Russell's typicality as another randomness notion
366 -- 0. Editorial correction for A. Tzouvaras, "Russell's typicality as another randomness notion"
367 -- 372Akito Tsuboi. Nonstandard methods for finite structures

Volume 66, Issue 2

121 -- 0. Cover Picture
123 -- 125. Contents: (Math. Log. Quart. 2/2020)
126 -- 135Huishan Wu. Orders on computable rings
136 -- 149Karim Khanaki. Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces
150 -- 172Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg. Singly generated quasivarieties and residuated structures
173 -- 181Giorgio Laguzzi, Brendan Stuber-Rousselle. More on trees and Cohen reals
182 -- 189John Clemens, Samuel Coskey, Samuel Dworetzky. The classification of countable models of set theory
190 -- 194Trevor M. Wilson. A game-theoretic proof of Shelah's theorem on labeled trees
195 -- 216Fan Yang 0004. Axiomatizing first order consequences in inclusion logic
217 -- 234Corey Bacal Switzer. The Cichoń diagram for degrees of relative constructibility
235 -- 238Monroe Eskew. ω
239 -- 246Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi. The choice property in tame expansions of o-minimal structures
247 -- 250Clovis Hamel, Haim Horowitz, Saharon Shelah. Turing invariant sets and the perfect set property

Volume 66, Issue 1

1 -- 0. Cover Picture
3 -- 5. Contents: (Math. Log. Quart. 1/2020)
6 -- 0. Editorial
7 -- 19Stefano Baratella, Andrea Masini. A two-dimensional metric temporal logic
20 -- 36Lorna Gregory, Sonia L'Innocente, Carlo Toffalori. The torsion-free part of the Ziegler spectrum of orders over Dedekind domains
37 -- 50Stefano Mazzanti. New substitution bases for complexity classes
51 -- 64Zvonko Iljazovic. Computability of graphs
65 -- 72Jonas Reitz. Cohen forcing and inner models
73 -- 81Athipat Thamrongthanyalak. On p-adic semi-algebraic continuous selections
82 -- 90Nathanaël Mariaule. Expansions of the p-adic numbers that interpret the ring of integers
91 -- 98Paulo Oliva, Chuangjie Xu. On the Herbrand functional interpretation
99 -- 103Masahiro Shioya, Naoki Yamaura. Local weak presaturation of the strongly non-stationary ideal
104 -- 114Johanna N. Y. Franklin, Reed Solomon. Lowness for isomorphism, countable ideals, and computable traceability
115 -- 120Arthur W. Apter. On weak square, approachability, the tree property, and failures of SCH in a choiceless context