Journal: Math. Log. Q.

Volume 65, Issue 4

389 -- 0. Cover Picture
391 -- 393. Contents: (Math. Log. Quart. 12/2019)
394 -- 406. Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin No. 23
407 -- 411François G. Dorais, Joel David Hamkins. When does every definable nonempty set have a definable element?
412 -- 443Gérard Leloup. Pseudo-c-archimedean and pseudo-finite cyclically ordered groups
444 -- 452John T. Baldwin 0001, Ioannis A. Souldatos. Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities
453 -- 478Albert Visser. The small-is-very-small principle
479 -- 489Jonathan Schilhan. Generalised pseudointersections
490 -- 497Christopher J. Eagle, Todd Schmid. Concrete barriers to quantifier elimination in finite dimensional C*-algebras
498 -- 510Jonas Reitz, Kameryn J. Williams. Inner mantles and iterated HOD
511 -- 516Denis I. Saveliev, Saharon Shelah. Ultrafilter extensions do not preserve elementary equivalence

Volume 65, Issue 3

261 -- 0. Cover Picture
263 -- 264. Contents: (Math. Log. Quart. 3/2019)
265 -- 279Claude Sureson. Π 1 1 -Martin-Löf randomness and Π 1 1 -Solovay completeness
280 -- 292Eleftherios Tachtsis. Łoś's theorem and the axiom of choice
293 -- 304Mohammad Assem Mahmoud. Degrees of categoricity of trees and the isomorphism problem
305 -- 331Luck Darnière. Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets
332 -- 346Viktor Verbovskiy. On definability of types and relative stability
347 -- 369Lorenzo Luperi Baglini. Nonstandard characterisations of tensor products and monads in the theory of ultrafilters
370 -- 375Sandra Müller. The axiom of determinacy implies dependent choice in mice
376 -- 386Ningyuan Yao. Definable topological dynamics for trigonalizable algebraic groups over Q p

Volume 65, Issue 2

129 -- 0. Cover Picture
131 -- 133. Contents: (Math. Log. Quart. 2/2019)
134 -- 169Dominique Lecomte, Rafael Zamora. Injective tests of low complexity in the plane
170 -- 199Miguel A. Cardona, Diego A. Mejía. On cardinal characteristics of Yorioka ideals
200 -- 204Assaf Rinot. Souslin trees at successors of regular cardinals
205 -- 211Shichang Song. Hall's universal group has ample generic automorphisms
212 -- 217Athar Abdul-Quader, Roman Kossak. Neutrally expandable models of arithmetic
218 -- 227Dariusz Kalocinski, Tomasz Steifer. On unstable and unoptimal prediction
228 -- 236Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro. Bi-embeddability spectra and bases of spectra
237 -- 250Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods. Parametric Presburger arithmetic: complexity of counting and quantifier elimination
251 -- 257Sean Cox, Hiroshi Sakai. A variant of Shelah's characterization of Strong Chang's Conjecture

Volume 65, Issue 1

1 -- 0. Cover Picture
3 -- 6. Contents: (Math. Log. Quart. 1/2019)
7 -- 0. Editorial
8 -- 13Longyun Ding, Ping Yu. Reductions on equivalence relations generated by universal sets
14 -- 22Haydar Göral. Algebraic numbers with elements of small height
23 -- 36Travis Nell. Distal and non-distal behavior in pairs
37 -- 45Marat Kh. Faizrahmanov, Asher M. Kach, Iskander Sh. Kalimullin, Antonio Montalbán, Vadim Puzarenko. Jump inversions of algebraic structures and Σ-definability
46 -- 56Nathanael Leedom Ackerman, Will Brian. Indivisible sets and well-founded orientations of the Rado graph
57 -- 79Taus Brock-Nannestad, Danko Ilik. An intuitionistic formula hierarchy based on high-school identities
80 -- 94Zachiri McKenzie. On the relative strengths of fragments of collection
95 -- 104Shimon Garti, Yair Hayut. The first omitting cardinal for Magidority
105 -- 107Peter Schuster 0001, Daniel Wessel. Some forms of excluded middle for linear orders
108 -- 115Emil Jerábek. Rigid models of Presburger arithmetic
116 -- 120Nattapon Sonpanow, Pimpen Vejjajiva. Factorials and the finite sequences of sets
121 -- 126Raffaella Cutolo. The cofinality of the least Berkeley cardinal and the extent of dependent choice