Archive for Mathematical Logic, Volume 43

Volume 43, Number 1, January 2004

• Ingo Lepper:
  Simply terminating rewrite systems with long derivations. 1-18
  
• Jouko A. Väänänen, Boban Velickovic:
  Games played on partial isomorphisms. 19-30
  
• Saharon Shelah:
  On nice equivalence relations on ?2. 31-64
  
• Harold Simmons:
  A comparison of two systems of ordinal notations. 65-84
  
• Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
  On potential isomorphism and non-structure. 85-120
  
• Matthew B. Giorgi:
  The computably enumerable degrees are locally non-cappable. 121-139
  

Volume 43, Number 2, February 2004

• Adriana Galli, Renato A. Lewin, Marta Sagastume:
  The logic of equilibrium and abelian lattice ordered groups. 141-158
  
• Pierluigi Minari:
  Analytic combinatory calculi and the elimination of transitivity. 159-192
  
• George Kafkoulis:
  Coding lemmata in L. 193-214
  
• Wim Veldman:
  An intuitionistic proof of Kruskal's theorem. 215-264
  
• Alfred Dolich:
  Weak dividing, chain conditions, and simplicity. 265-283
  

Volume 43, Number 3, April 2004

• Saharon Shelah:
  Forcing axiom failure for any lambda > aleph₁. 285-296
  
• Sara Negri, Jan von Plato, Thierry Coquand:
  Proof-theoretical analysis of order relations. 297-310
  
• Bernhard König:
  Generic compactness reformulated. 311-326
  
• Wesley Calvert:
  The isomorphism problem for classes of computable fields. 327-336
  
• Nobuyuki Sakamoto, Kazuyuki Tanaka:
  The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. 337-350
  
• Michael Soltys, Alasdair Urquhart:
  Matrix identities and the pigeonhole principle. 351-358
  
• Herwig Nübling:
  Adding Skolem functions to simple theories. 359-370
  
• Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  On the quantifier complexity of bigtriangleup_n+1 (T)? induction. 371-398
  
• Stephen Binns, Stephen G. Simpson:
  Embeddings into the Medvedev and Muchnik lattices of pi⁰₁classes. 399-414
  
• Rumen Dimitrov:
  Quasimaximality and principal filters isomorphism between. 415-424
  

Volume 43, Number 4, May 2004

• Hans Hermes. 425
  
• Jan Krajícek:
  Combinatorics of first order structures and propositional proof systems. 427-441
  
• Philip D. Welch:
  On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. 443-458
  
• Itay Ben-Yaacov, Alexander Berenstein:
  Imaginaries in Hilbert spaces. 459-466
  
• Robert Bonnet, Matatyahu Rubin:
  On poset Boolean algebras of scattered posets with finite width. 467-476
  
• Rostislav Horcík, Petr Cintula:
  Product L ukasiewicz Logic. 477-504
  
• Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  Induction, minimization and collection for Delta_n+1(T)-formulas. 505-542
  
• Joseph S. Miller, Reed Solomon:
  Effectiveness for infinite variable words and the Dual Ramsey Theorem. 543-556
  
• Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic:
  Completeness theorem for propositional probabilistic models whose measures have only finite ranges. 557-564
  
• Roman Kossak:
  A note on a theorem of Kanovei. 565-569
  

Volume 43, Number 5, July 2004

• Matatyahu Rubin:
  On L_{alpha, omega} complete extensions of complete theories of Boolean algebras. 571-582
  
• Andrzej Roslanowski, Saharon Shelah:
  Sweet & sour and other flavours of ccc forcing notions. 583-664
  
• Steve Warner:
  The cofinality of the saturated uncountable random graph. 665-680
  
• Xuhua Li:
  Largest E-thin, E-invariant sets below bigtriangleup¹ ₃. 681-690
  
• Marcin Mostowski, Konrad Zdanowski:
  Degrees of logics with Henkin quantifiers in poor vocabularies. 691-702
  
• Maxim R. Burke, Masaru Kada:
  Hechler's theorem for the null ideal. 703-722
  

Volume 43, Number 6, August 2004

• Athanassios Tzouvaras:
  What is so special with the powerset operation? 723-738
  
• Joan Bagaria, Roger Bosch:
  Proper forcing extensions and Solovay models. 739-750
  
• Masahiro Hamano:
  Softness of MALL proof-structures and a correctness criterion with Mix. 751-794
  
• Antonio di Nola, Ada Lettieri:
  On normal forms in Lukasiewicz logic. 795-823
  

Volume 43, Number 7, October 2004

• Jonas Eliasson:
  Ultrapowers as sheaves on a category of ultrafilters. 825-844
  
• Andrew Lewis:
  Finite cupping sets. 845-858
  
• George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
  Analytic Calculi for Product Logics. 859-890
  
• Henry Towsner:
  A realizability interpretation for classical analysis. 891-900
  
• Mirna Dzamonja, Saharon Shelah:
  On the existence of universal models. 901-936
  

Volume 43, Number 8, November 2004

• Xavier Caicedo:
  Definability and automorphisms in abstract logics. 937-946
  
• George Barmpalias:
  Approximation Representations for ?₂ Reals. 947-964
  
• Stefano Baratella, Andrea Masini:
  An approach to infinitary temporal proof theory. 965-990
  
• Iraj Kalantari, Larry Welch:
  A blend of methods of recursion theory and topology: A Pi₁⁰ tree of shadow points. 991-1008
  
• George Georgescu, Andrei Popescu:
  Non-dual fuzzy connections. 1009-1039