Journal: Math. Log. Q.

Volume 60, Issue 6

375 -- 388Marta Sagastume, Hernán Javier San Martín.
389 -- 402Jeffrey Scott Leaning, Omer Ben-Neria. Disassociated indiscernibles
403 -- 424Camilo Enrique Argoty Pulido. Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator
425 -- 436Hanamantagouda P. Sankappanavar, Júlia Vaz de Carvalho. Congruence properties of pseudocomplemented De Morgan algebras
437 -- 443John T. Baldwin, Saharon Shelah. A Hanf number for saturation and omission: the superstable case
444 -- 470Rutger Kuyper. Computational aspects of satisfiability in probability logic
471 -- 486Arthur W. Apter, Ioanna M. Dimitriou, Peter Koepke. The first measurable cardinal can be the first uncountable regular cardinal at any successor height
487 -- 497Florian Ranzi, Thomas Strahm. A note on the theory SID<ω of stratified induction

Volume 60, Issue 4-5

246 -- 265Pierre Matet. Two-cardinal diamond star
266 -- 272Toshimichi Usuba. Bounded dagger principles
273 -- 279Longyun Ding. 0-like equivalence relations
280 -- 288Kojiro Higuchi, NingNing Peng. Defining a randomness notion via another
289 -- 303Alexander Berenstein, Evgueni Vassiliev. Generic trivializations of geometric theories
304 -- 313Zofia Kostrzycka. On linear Brouwerian logics
314 -- 318Kentaro Sato. Forcing for hat inductive definitions in arithmetic
319 -- 334Michal Kozak. Strong negation in intuitionistic style sequent systems for residuated lattices
335 -- 347Olivia Caramello. Topologies for intermediate logics
348 -- 353Takashi Sato. Reverse mathematics and Isbell's zig-zag theorem
354 -- 371Stéphane Le Roux. From winning strategy to Nash equilibrium

Volume 60, Issue 3

136 -- 153Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara. On the strength of marriage theorems and uniformity
154 -- 160Miguel Campercholi, Diego Vaggione. Algebraic functions in quasiprimal algebras
161 -- 167Kuanysh Abeshev. On the existence of universal numberings for finite families of d.c.e. sets
168 -- 176Seyed Mohammad Bagheri, Roghieh Safari. Preservation theorems in linear continuous logic
177 -- 183Alexander P. Kreuzer. From Bolzano-Weierstraß to Arzelà-Ascoli
184 -- 204Kenshi Miyabe. Algorithmic randomness over general spaces
205 -- 210Janak Ramakrishnan, Charles Steinhorn. Definably extending partial orders in totally ordered structures
211 -- 227Andrés Villaveces, Pedro Zambrano. Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
228 -- 229M. Randall Holmes. On hereditarily small sets in ZF
230 -- 238Joan Gispert, Antoni Torrens. Lattice BCK logics with Modus Ponens as unique rule
239 -- 241Philipp Kleppmann. Generating sets of free groups and the axiom of choice

Volume 60, Issue 1-2

6 -- 11Mohammad Ardeshir, S. Mojtaba Mojtahedi. Completeness of intermediate logics with doubly negated axioms
12 -- 20James H. Schmerl. Cofinal elementary extensions
21 -- 30Albert Ziegler. A cumulative hierarchy of sets for constructive set theory
31 -- 39Michael Hrusák, Diego Rojas-Rebolledo, Jindrich Zapletal. Cofinalities of Borel ideals
40 -- 53Oleg V. Belegradek. The space of minimal structures
54 -- 58Athanasios Tsarpalias. Matrices of completely Ramsey sets with infinitely many rows
59 -- 65Vincent Guingona, Cameron Donnay Hill. On Vapnik-Chervonenkis density over indiscernible sequences
66 -- 69Erik Palmgren. Formal continuity implies uniform continuity near compact images on metric spaces
70 -- 83Costas Poulios, Athanasios Tsarpalias. Some combinatorial principles for trees and applications to tree families in Banach spaces
84 -- 90Stevo Todorcevic, Víctor Torres Pérez. Rado's Conjecture and Ascent Paths of Square Sequences
91 -- 0Josep Maria Font. J. M. Font, The simplest protoalgebraic logic
92 -- 117Albert Visser. Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
118 -- 132Raphaël Carroy. Playing in the first Baire class