Journal: Math. Log. Q.

Volume 58, Issue 6

380 -- 393Henrik Forssell. Topological representation of geometric theories
394 -- 398Joel David Hamkins, Justin Palumbo. The rigid relation principle, a new weak choice principle
399 -- 416Rafael Grimson, Bart Kuijpers, Walied Othman. Quantifier elimination for elementary geometry and elementary affine geometry
417 -- 423Emanuele Frittaion, Alberto Marcone. Linear extensions of partial orders and reverse mathematics
424 -- 433Zak Mesyan, James D. Mitchell, Michal Morayne, Yann H. Péresse. The Bergman-Shelah preorder on transformation semigroups
434 -- 448Salma Kuhlmann, Marcus Tressl. Comparison of exponential-logarithmic and logarithmic-exponential series
449 -- 467Roman Wencel. Groups, group actions and fields definable in first-order topological structures
468 -- 481Enrico Marchioni, George Metcalfe. Craig interpolation for semilinear substructural logics
482 -- 497Eva Leenknegt. p-adic structures
498 -- 501Robert Lubarsky, Fred Richman, Peter Schuster. The Kripke schema in metric topology

Volume 58, Issue 4-5

252 -- 262Sandra Marques Pinto, M. Teresa Oliveira-Martins. Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view
263 -- 280Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic. A p-adic probability logic
281 -- 293Douglas S. Bridges. How to construct a product of a-frames
294 -- 302Karim Khanaki, Massoud Amini. Haar measure and integral logic
303 -- 306Shoshana Friedman. Accessing the switchboard via set forcing
307 -- 316Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai. On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
317 -- 332Kenji Fukuzaki. Definability of the ring of integers in some infinite algebraic extensions of the rationals
333 -- 341Pedro Zambrano. A stability transfer theorem in d-tame metric abstract elementary classes
342 -- 347Stevo Todorcevic, Víctor Torres Pérez. Conjectures of Rado and Chang and special Aronszajn trees
348 -- 355Mohammad Ardeshir, Rasoul Ramezanian. On the constructive notion of closure maps
356 -- 265Paulo Oliva, Thomas Powell 0001. On Spector's bar recursion
366 -- 376Serikzhan A. Badaev, Mustafa Manat, Andrea Sorbi. Rogers semilattices of families of two embedded sets in the Ershov hierarchy

Volume 58, Issue 3

130 -- 138Kyriakos Keremedis. Compact and Loeb Hausdorff spaces in &equation image; and the axiom of choice for families of finite sets
139 -- 152Antonio di Nola, Giacomo Lenzi. On Vaught's Conjecture and finitely valued MV algebras
153 -- 158Esfandiar Eslami, Mohammad Golshani. r]
159 -- 167J. Donald Monk. Remarks on continuum cardinals on Boolean algebras
168 -- 176Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela. Free-decomposability in varieties of semi-Heyting algebras
177 -- 187Emil Jerábek. Proofs with monotone cuts
188 -- 207Sergio A. Celani, Ramon Jansana. On the free implicative semilattice extension of a Hilbert algebra
208 -- 216Isaac Goldbring. An approximate Herbrand's theorem and definable functions in metric structures
217 -- 235Roman Wencel. Imaginaries in Boolean algebras
236 -- 243Karel Chvalovský, Petr Cintula. Note on Deduction Theorems in contraction-free logics
244 -- 248Emil Jerábek. Sequence encoding without induction

Volume 58, Issue 1-2

5 -- 17Kosta Dosen, Zoran Petric. Isomorphic formulae in classical propositional logic
18 -- 28Peter Cholak, David Galvin, Reed Solomon. Reverse mathematics and infinite traceable graphs
29 -- 37Katarzyna Slomczynska. Algebraic semantics for the (↔, ¬¬)-fragment of IPC
38 -- 45Pierre Matet. κ (λ) with λ of countable cofinality
46 -- 54Igor Dolinka. A characterization of retracts in certain Fraïssé limits
55 -- 62Olivier Esser. Forcing with the Anti-Foundation axiom
63 -- 74Alireza Mofidi, Seyed Mohammad Bagheri. Quantified universes and ultraproducts
75 -- 82Arthur W. Apter. Indestructibility, measurability, and degrees of supercompactness
83 -- 94Brent Cody. The failure of GCH at a degree of supercompactness
95 -- 104Barbara Majcher-Iwanow. Eventually open action
105 -- 112Aleksander Ivanov. The complexity of countable categoricity in finite languages
113 -- 124Ekaterina B. Fokina, Sy-David Friedman. 1 equivalence relations over the natural numbers
125 -- 126Antongiulio Fornasiero. Definably connected nonconnected sets