Archive for Mathematical Logic, Volume 48

Volume 48, Number 1, February 2009

• Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood:
  Preface. 1-6
  
• Jennifer Chubb, Andrey Frolov, Valentina S. Harizanov:
  Degree spectra of the successor relation of computable linear orderings. 7-13
  
• Michael C. Laskowski:
  The elementary diagram of a trivial, weakly minimal structure is near model complete. 15-24
  
• Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar:
  Categoricity of computable infinitary theories. 25-38
  
• Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight:
  Chains and antichains in partial orderings. 39-53
  
• A. Martin-Pizarro, Frank O. Wagner:
  Supersimplicity and quadratic extensions. 55-61
  
• Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov:
  Linear orders with distinguished function symbol. 63-76
  
• Alexandra Shlapentokh:
  Rings of algebraic numbers in infinite extensions of \mathbb Q{\mathbb {Q}} and elliptic curves retaining their rank. 77-114
  
• Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin:
  Space complexity of Abelian groups. 115-140
  

Volume 48, Number 2, April 2009

• Damir D. Dzhafarov, Jeffry L. Hirst:
  The polarized Ramsey's theorem. 141-157
  
• Pierluigi Minari:
  A solution to Curry and Hindley's problem on combinatory strong reduction. 159-184
  
• René David, Marek Zaionc:
  Counting proofs in propositional logic. 185-199
  
• Joan Bagaria, Carlos A. Di Prisco:
  Parameterized partition relations on the real numbers. 201-226
  

Volume 48, Numbers 3-4, May 2009

• Bernard A. Anderson, Jeffry L. Hirst:
  Partitions of trees and ACA'₀. 227-230
  
• Guram Bezhanishvili, John Harding:
  The modal logic of beta(N). 231-242
  
• Michal Botur, Radomír Halas:
  Commutative basic algebras and non-associative fuzzy logics. 243-255
  
• R. Daniel Mauldin, Alexander P. McLinden:
  Random closed sets viewed as random recursions. 257-263
  
• Shunsuke Yatabe:
  Comprehension contradicts to the induction within Lukasiewicz predicate logic. 265-268
  
• Åsa Hirvonen, Tapani Hyttinen:
  Categoricity in homogeneous complete metric spaces. 269-322
  
• Christoph Heinatsch:
  P¹₂{\Pi^1_2} -comprehension and the property of Ramsey. 323-386
  

Volume 48, Number 5, June 2009

• Margarita Otero, Ya'acov Peterzil:
  G-linear sets and torsion points in definably compact groups. 387-402
  
• Claude Sureson:
  Model companion and model completion of theories of rings. 403-420
  
• David Pierce:
  Model-theory of vector-spaces over unspecified fields. 421-436
  
• Douglas S. Bridges:
  Constructive notions of equicontinuity. 437-448
  
• Marcin Sabok:
  sigma-Continuity and related forcings. 449-464
  
• Seyed Mohammad Bagheri, Massoud Pourmahdian:
  The logic of integration. 465-492
  

Volume 48, Number 6, July 2009

• Grigor Sargsyan:
  On the indestructibility aspects of identity crisis. 493-513
  
• Vera Koponen:
  Entropy of formulas. 515-522
  
• Phuong Nguyen:
  The equivalence of theories that characterize ALogTime. 523-549
  
• Kai Brünnler:
  Deep sequent systems for modal logic. 551-577
  
• Mirna Dzamonja, Jean A. Larson, William J. Mitchell:
  Partitions of large Rado graphs. 579-606
  

Volume 48, Number 7, October 2009

• Pantelis E. Eleftheriou:
  Compact domination for groups definable in linear o-minimal structures. 607-623
  
• Olaf Beyersdorff:
  Comparing axiomatizations of free pseudospaces. 625-641
  
• David Asperó:
  Forcing notions in inner models. 643-651
  
• David Asperó:
  On a convenient property about [gamma]^aleph₀. 653-677
  
• Daisuke Ikegami:
  Projective absoluteness for Sacks forcing. 679-690
  
• Ansten Mørch Klev:
  Infinite time extensions of Kleene's O. 691-703
  

Volume 48, Number 8, December 2009

• Milos S. Kurilic, Stevo Todorcevic:
  Property (^h) and cellularity of complete Boolean algebras. 705-718
  
• Matteo Bianchi, Franco Montagna:
  Supersound many-valued logics and Dedekind-MacNeille completions. 719-736
  
• Carmi Merimovich:
  The short extenders gap two forcing is of Prikry type. 737-747
  
• Simon Thomas:
  Martin's conjecture and strong ergodicity. 749-759
  
• Simon Thomas:
  Continuous versus Borel reductions. 761-770
  
• Anatolij Dvurecenskij, Jan Kühr:
  On the structure of linearly ordered pseudo-BCK-algebras. 771-791
  
• Samuel R. Buss:
  Pool resolution is NP-hard to recognize. 793-798
  
• Itay Kaplan, Saharon Shelah:
  The automorphism tower of a centerless group without Choice. 799-815
  
• Assaf Rinot:
  A cofinality-preserving small forcing may introduce a special Aronszajn tree. 817-823
  
• Martin Zeman:
  More fine structural global square sequences. 825-835
  

Last update Thu May 23 18:15:29 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page