Journal: Math. Log. Q.

Volume 51, Issue 6

543 -- 559Yongcheng Wu, Decheng Ding. Computability of measurable sets via effective metrics
560 -- 569Sakaé Fuchino, Greg Piper. Destructibility of stationary subsets of ::::P::::::kappa::lambda
570 -- 578George Voutsadakis. Categorical abstract algebraic logic: Gentzen ::::pi:::: -institutions and the deduction-detachment property
579 -- 585Norihiro Kamide. On a logic of involutive quantales
586 -- 590Juan C. Martínez. A consistency result on cardinal sequences of scattered Boolean spaces
591 -- 597Hajnal Andréka, Judit X. Madarász, István Németi. Mutual definability does not imply definitional equivalence, a simple example
598 -- 609Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis. Properties of the real line and weak forms of the Axiom of Choice
610 -- 612Nader Vakil, Roozbeh Vakil. A remark on uniform spaces with invariant nonstandard hulls
613 -- 625Stefano Leonesi, Sonia L Innocente, Carlo Toffalori. Weakly minimal modules over integral group rings and over related classes of rings
626 -- 631Enrique Casanovas, Rodrigo Peláez. |::::T::::|:::+:::-resplendent models and the Lascar group
632 -- 638Jan von Plato. Normal derivability in modal logic
639 -- 641Mário J. Edmundo. A remark on divisibility of definable groups
642 -- 0Gerhard Jäger, Dieter Probst. Corrigendum to Variation on a theme of Schütte
643 -- 0Joseph Barback. Corrigendum to Regressive isols and comparability
644 -- 0George Voutsadakis. Corrigendum to Categorical abstract algebraic logic: The criterion for deductive equivalence

Volume 51, Issue 5

437 -- 447Saharon Shelah. Two cardinals models with gap one revisited
448 -- 449Sy D. Friedman. Definability degrees
450 -- 461Barbara Majcher-Iwanow. ::::G::::::::::delta::::::-pieces of canonical partitions of ::::G::::-spaces
462 -- 469Bin He. A high dimensional Open Coloring Axiom
470 -- 492Andrew E. M. Lewis. The minimal complementation property above 0
493 -- 498Joel David Hamkins, W. Hugh Woodin. The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
499 -- 506George Weaver, Irena Penev. From finitary to infinitary second-order logic
507 -- 523Hiroshi Sakai. Generalized Prikry forcing and iteration of generic ultrapowers
524 -- 531Arthur W. Apter. Universal partial indestructibility and strong compactness
532 -- 540Jakob Grue Simonsen. Specker sequences revisited

Volume 51, Issue 4

331 -- 341Norihiro Kamide. A spatial modal logic with a location interpretation
342 -- 350Lorenzo Carlucci. Worms, gaps, and hydras
351 -- 359Thierry Coquand, Bas Spitters. A constructive proof of the Peter-Weyl theorem
360 -- 364Josef Berger, Hajime Ishihara. Brouwer s fan theorem and unique existence in constructive analysis
365 -- 376Hisato Muraki. Largest fixed points of set continuous operators and Boffa s Anti-Foundation
377 -- 399Beibut Sh. Kulpeshov, H. Dugald Macpherson. Minimality conditions on circularly ordered structures
400 -- 416Hervé Perdry. Henselian valued fields: a constructive point of view
417 -- 434Henryk Kotlarski, Bozena Piekart. Some variations of the Hardy hierarchy

Volume 51, Issue 3

219 -- 246Sergio A. Celani, Ramon Jansana. Bounded distributive lattices with strict implication
247 -- 253Arthur W. Apter. An Easton theorem for level by level equivalence
254 -- 257Gábor Sági, Saharon Shelah. On topological properties of ultraproducts of finite sets
258 -- 262Masanori Itai, Kentaro Wakai. ::::omega::::-saturated quasi-minimal models of Th(Q:::::::omega:::::::, +, ::::sigma::::, 0)
263 -- 273Thierry Libert, Olivier Esser. On topological set theory
274 -- 276S. Barry Cooper, Andrew E. M. Lewis, Yue Yang. Properly Sigma::2:: minimal degrees and 0 complementation
277 -- 281Victor Pambuccian. The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)
282 -- 284Bernhard Banaschewski. Excluded Middle versus Choice in a topos
285 -- 290George Weaver, Benjamin George. Fraenkel-Carnap properties
291 -- 298Tapani Hyttinen. Locally modular geometries in homogeneous structures
299 -- 304Gerhard Lischke. Squares of regular languages
305 -- 312Masayuki Karato. A Tukey decomposition of ::::P::::::kappa::lambda and the tree property for directed sets
313 -- 328Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín. Fragments of Arithmetic and true sentences

Volume 51, Issue 2

111 -- 119Guohua Wu. Regular reals
120 -- 128Cristian S. Calude, Ludwig Staiger. Generalisations of disjunctive sequences
129 -- 136Serikzhan Badaev, Dieter Spreen. A note on partial numberings
137 -- 144H. Jerome Keisler, Wafik Boulos Lotfallah. A local normal form theorem for infinitary logic with unary quantifiers
145 -- 153Stefano Leonesi, Carlo Toffalori. Filling certain cuts in discrete weakly o-minimal structures
154 -- 156Arthur W. Apter. Removing Laver functions from supercompactness arguments
157 -- 170Xizhong Zheng, Robert Rettinger, George Barmpalias. ::::h::::-monotonically computable real numbers
171 -- 186Marianne Morillon. James sequences and Dependent Choices
187 -- 190Paul E. Howard. If vector spaces are projective modules then multiple choice holds
191 -- 200Arnold Beckmann, Jan Johannsen. An unexpected separation result in Linearly Bounded Arithmetic
201 -- 205Josef Berger. Exact calculation of inverse functions
206 -- 216Douglas Cenzer, Farzan Riazati. Minimal extensions of Pi:::0:::::1:: classes

Volume 51, Issue 1

3 -- 4Günter Asser, Armin Hemmerling. Letter from the outgoing Managing Editor/Letter from the new Managing Editor
5 -- 18Peter Hertling. Is the Mandelbrot set computable?
19 -- 44Vasco Brattka. Effective Borel measurability and reducibility of functions
45 -- 61Victor L. Selivanov. Hierarchies in ::::phi::::-spaces and applications
62 -- 72Jack H. Lutz. Effective fractal dimensions
73 -- 76Morteza Moniri. Polynomial induction and length minimization in intuitionistic bounded arithmetic
77 -- 82Satoru Yoshida. The constructive completion of the space ::::D::::(R)
83 -- 88Martin Lange. A quick axiomatisation of LTL with past
89 -- 94Stefano Mazzanti. Bounded iteration and unary functions
95 -- 103Kyriakos Keremedis, Eleftherios Tachtsis. Countable sums and products of metrizable spaces in ZF
104 -- 108Marta A. Zander. A note on a subvariety of linear tense algebras