Archive for Mathematical Logic, Volume 38

Volume 38, Number 1, January 1999

• Toru Tsujishita:
  Construction of universal modal worlds based on hyperset theory. 1-18
  
• Geir Waagbø:
  Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. 19-60
  
• Renling Jin, Saharon Shelah:
  Possible size of an ultrapower of w\omega. 61-77
  

Volume 38, Number 2, February 1999

• Carsten Butz:
  A topological completeness theorem. 79-101
  
• Marion Scheepers:
  The length of some diagonalization games. 103-122
  
• Mario Chiari, Jan Krajícek:
  Lifting independence results in bounded arithmetic. 123-138
  

Volume 38, Number 3, April 1999

• Yunfu Shen:
  Elimination of algorithmic quantifiers for ordered differential algebra. 139-144
  
• Victor N. Krivtsov:
  Note on extensions of Heyting's arithmetic by adding the "creative subject". 145-152
  
• Kyriakos Keremedis:
  Some remarks on category of the real line. 153-162
  
• Karl-Heinz Niggl:
  Subrecursive functions on partial sequences. 163-193
  
• Jeffry L. Hirst:
  Reverse mathematics of prime factorization of ordinals. 195-201
  

Volume 38, Numbers 4-5, May 1999

• Heinz-Dieter Ebbinghaus:
  Preface Logic Colloqium '95, Haifa, Israel. 203
  
• Erich Grädel, Anders Malmström:
  0-1 laws for recursive structures. 205-215
  
• Eric Rosen:
  An existential fragment of second order logic. 217-234
  
• Martin Otto:
  Bounded variable logics: two, three, and more. 235-256
  
• Alexei P. Stolboushkin, Michael A. Taitslin:
  Normalizable linear orders and generic computations in finite models. 257-271
  
• Shmuel Lifsches, Saharon Shelah:
  Random graphs in the monadic theory of order. 273-312
  
• Erich Grädel, Martin Otto, Eric Rosen:
  Undecidability results on two-variable logics. 313-354
  

Volume 38, Number 6, August 1999

• Françoise Point:
  Ultraproducts and Chevalley groups. 355-372
  
• Shamil Ishmukhametov:
  On the r.e. predecessors of d.r.e. degrees. 373-386
  
• M. Victoria Marshall, M. Gloria Schwarze:
  Rank in set theory without foundation. 387-393
  
• Satoko Titani:
  A lattice-valued set theory. 395-421
  

Volume 38, Number 7, October 1999

• Sara Negri, Daniele Soravia:
  The continuum as a formal space. 423-447
  
• Timothy J. Carlson:
  Ordinal arithmetic and S₁\Sigma_{1}-elementarity. 449-460
  
• Matthias Baaz, Helmut Veith:
  Interpolation in fuzzy logic. 461-489
  

Volume 38, Number 8, November 1999

• H. Imhof:
  Logics that define their own semantics. 491-513
  
• Ralf-Dieter Schindler:
  Weak covering and the tree property. 515-520
  
• Sara Negri:
  Sequent calculus proof theory of intuitionistic apartness and order relations. 521-547
  
• Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
  On the k\kappa-cub game on l\lambda and I[l]I[\lambda ]. 549-557