Archive for Mathematical Logic, Volume 42

Volume 42, Number 1, January 2003

• Saharon Shelah:
  More Jonsson Algebras. 1-44
  Electronic Edition (link) BibTeX
• Zofia Adamowicz, Pawel Zbierski:
  On complexity reduction of Sigma₁ formulas. 45-58
  Electronic Edition (link) BibTeX
• Felix Joachimski, Ralph Matthes:
  Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. 59-87
  Electronic Edition (link) BibTeX
• Michael Rathjen:
  Realizing Mahlo set theory in type theory. 89-101
  Electronic Edition (link) BibTeX

Volume 42, Number 2, February 2003

• Lorenz Halbeisen, Pierre Matet:
  A generalization of the Dual Ellentuck Theorem. 103-128
  Electronic Edition (link) BibTeX
• Christian Rüede:
  Universes in metapredicative analysis. 129-151
  Electronic Edition (link) BibTeX
• Yi Zhang:
  Adjoining cofinitary permutations (II) . 153-163
  Electronic Edition (link) BibTeX
• G. S. Mendick, J. K. Truss:
  A notion of rank in set theory without choice. 165-178
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov:
  Refined common knowledge logics or logics of common information. 179-200
  Electronic Edition (link) BibTeX
• Guohua Wu:
  Q-measures on Q_Klambda. 201-204
  Electronic Edition (link) BibTeX

Volume 42, Number 3, April 2003

• Roberto Maieli:
  A new correctness criterion for multiplicative non-commutative proof nets. 205-220
  Electronic Edition (link) BibTeX
• Valentin Goranko, Bruce M. Kapron:
  The modal logic of the countable random frame. 221-243
  Electronic Edition (link) BibTeX
• Mojtaba Aghaei, Mohammad Ardeshir:
  A Gentzen-style axiomatization for basic predicate calculus. 245-259
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov:
  Barwise's information frames and modal logics. 261-277
  Electronic Edition (link) BibTeX
• Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy:
  Simple and immune relations on countable structures. 279-291
  Electronic Edition (link) BibTeX
• Mihai Prunescu:
  Diophantine properties of finite commutative rings. 293-302
  Electronic Edition (link) BibTeX

Volume 42, Number 4, May 2003

• Arnold Beckmann:
  Dynamic ordinal analysis. 303-334
  Electronic Edition (link) BibTeX
• Howard Becker:
  The restriction of a Borel equivalence relation to a sparse set. 335-347
  Electronic Edition (link) BibTeX
• Jörg Brendle, Saharon Shelah:
  Evasion and prediction. 349-360
  Electronic Edition (link) BibTeX
• Roberto Cignoli, Antoni Torrens:
  Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. 361-370
  Electronic Edition (link) BibTeX
• Mirjana Borisavljevic:
  Two measures for proving Gentzen's Hauptsatz without mix. 371-387
  Electronic Edition (link) BibTeX
• Sara Negri:
  Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. 389-401
  Electronic Edition (link) BibTeX

Volume 42, Number 5, July 2003

• Maria Luisa Bonet, Nicola Galesi:
  Degree complexity for a modified pigeonhole principle. 403-414
  Electronic Edition (link) BibTeX
• Massoud Pourmahdian:
  The stable forking conjecture and generic structures. 415-421
  Electronic Edition (link) BibTeX
• Ikuo Yoneda:
  CM-triviality and generic structures. 423-433
  Electronic Edition (link) BibTeX
• Grégory Duby:
  Automorphisms with only infinite orbits on non-algebraic elements. 435-447
  Electronic Edition (link) BibTeX
• Petr Cintula:
  Advances in the LPi and LPi1/2i logics. 449-468
  Electronic Edition (link) BibTeX
• Chris Pollett:
  On the bounded version of Hilbert's tenth problem. 469-488
  Electronic Edition (link) BibTeX
• Sándor Jenei:
  On the structure of rotation-invariant semigroups. 489-514
  Electronic Edition (link) BibTeX

Volume 42, Number 6, August 2003

• Lev D. Beklemishev:
  Proof-theoretic analysis by iterated reflection. 515-552
  Electronic Edition (link) BibTeX
• Evan J. Griffiths:
  Limit lemmas and jump inversion in the enumeration degrees. 553-562
  Electronic Edition (link) BibTeX
• Minhyong Kim:
  Relating decision and search algorithms for rational points on curves of higher genus. 563-568
  Electronic Edition (link) BibTeX
• Saharon Shela:
  On ultraproducts of Boolean algebras and irr. 569-581
  Electronic Edition (link) BibTeX
• Douglas A. Cenzer, Peter G. Hinman:
  Density of the Medvedev lattice of Pi01 classes. 583-600
  Electronic Edition (link) BibTeX
• Ludomir Newelski:
  Very simple theories without forking. 601-16
  Electronic Edition (link) BibTeX

Volume 42, Number 7, October 2003

• Grigori Mints, Darko Sarenac:
  Completeness of indexed epsilon-calculus. 617-625
  Electronic Edition (link) BibTeX
• Heike Mildenberger, Saharon Shelah:
  Specialising Aronszajn trees by countable approximations. 627-647
  Electronic Edition (link) BibTeX
• Itay Ben-Yaacov:
  On the fine structure of the polygroup blow-up. 649-663
  Electronic Edition (link) BibTeX
• Uwe Petersen:
  L i D Z lambda as a basis for PRA. 665-694
  Electronic Edition (link) BibTeX
• Teruyuki Yorioka:
  Forcings with the countable chain condition and the covering number of the Marczewski ideal. 695-710
  Electronic Edition (link) BibTeX
• Vitezslav Svejdar:
  On the polynomial-space completeness of intuitionistic propositional logic. 711-716
  Electronic Edition (link) BibTeX

Volume 42, Number 8, November 2003

• Arthur W. Apter:
  Some remarks on indestructibility and Hamkins' lottery preparation. 717-735
  Electronic Edition (link) BibTeX
• Antonio di Nola, Laurentiu Leustean:
  Compact representations of BL-algebras. 737-761
  Electronic Edition (link) BibTeX
• Vitezslav Svejdar:
  The decision problem of provability logic with only one atom. 763-768
  Electronic Edition (link) BibTeX
• Tomek Bartoszynski, Saharon Shelah:
  Strongly meager sets of size continuum. 769-779
  Electronic Edition (link) BibTeX
• Radim Belohlávek:
  Birkhoff variety theorem and fuzzy logic. 781-790
  Electronic Edition (link) BibTeX
• Morteza Moniri:
  Intuitionistic weak arithmetic. 791-796
  Electronic Edition (link) BibTeX
• Sándor Jenei, Franco Montagna:
  On the continuity points of left-continuous t-norms. 797-810
  Electronic Edition (link) BibTeX
• John L. Bell:
  Some new intuitionistic equivalents of Zorn's Lemma. 811-814
  Electronic Edition (link) BibTeX
• Enrique Casanovas:
  Dividing and chain conditions. 815-819
  Electronic Edition (link) BibTeX