Archive for Mathematical Logic, Volume 41

Volume 41, Number 1, January 2002

• Rami P. Grossberg, Olivier Lessmann:
  Shelah's stability spectrum and homogeneity spectrum in finite diagrams. 1-31
  Electronic Edition (link) BibTeX
• Michael Möllerfeld, Michael Rathjen:
  A note on the Sigma1 spectrum of a theory. 33-34
  Electronic Edition (link) BibTeX
• Isabel Oitavem:
  A term rewriting characterization of the functions computable in polynomial space. 35-47
  Electronic Edition (link) BibTeX
• Daniel W. Cunningham:
  A covering lemma for L(R). 49-54
  Electronic Edition (link) BibTeX
• António Marques Fernandes:
  A new conservation result of WKL0 over RCA0. 55-63
  Electronic Edition (link) BibTeX
• Tomek Bartoszynski, Andrzej Roslanowski:
  Towards Martins minimum. 65-82
  Electronic Edition (link) BibTeX
• Radim Belohlávek:
  Fuzzy equational logic. 83-90
  Electronic Edition (link) BibTeX
• Yoriyuki Yamagata:
  Strong normalization of a symmetric lambda calculus for second-order classical logic. 91-99
  Electronic Edition (link) BibTeX
• Morteza Moniri:
  H-theories, fragments of HA and PA-normality. 101-105
  Electronic Edition (link) BibTeX

Volume 41, Number 2, February 2002

• Francesco Paoli:
  On the algebraic structure of linear, relevance, and fuzzy logics. 107-121
  Electronic Edition (link) BibTeX
• Toshiyasu Arai:
  Epsilon substitution method for theories of jump hierarchies. 123-153
  Electronic Edition (link) BibTeX
• John T. Baldwin, Olivier Lessmann:
  Amalgamation properties and finite models in Ln-theories. 155-167
  Electronic Edition (link) BibTeX
• Andrea Cantini:
  Polytime, combinatory logic and positive safe induction. 169-189
  Electronic Edition (link) BibTeX
• Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson:
  Vitali's Theorem and WWKL. 191-206
  Electronic Edition (link) BibTeX

Volume 41, Number 3, April 2002

• Saharon Shelah:
  On the existence of large subsets of [lambda]kappa which contain no unbounded non-stationary subsets. 207-213
  Electronic Edition (link) BibTeX
• Yongge Wang:
  The algebraic structure of the isomorphic types of tally, polynomial time computable sets. 215-244
  Electronic Edition (link) BibTeX
• Tomek Bartoszynski, Saharon Shelah:
  Strongly meager and strong measure zero sets. 245-250
  Electronic Edition (link) BibTeX
• Arnold Beckmann:
  A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets. 251-257
  Electronic Edition (link) BibTeX
• Shamil Ishmukhametov, Guohua Wu:
  Isolation and the high/low hierarchy. 259-266
  Electronic Edition (link) BibTeX
• Giovanna D'Agostino, Albert Visser:
  Finality regained: A coalgebraic study of Scott-sets and multisets. 267-298
  Electronic Edition (link) BibTeX
• Alexej P. Pynko:
  Extensions of Halkowska-Zajac's three-valued paraconsistent logic. 299-307
  Electronic Edition (link) BibTeX

Volume 41, Number 4, April 2002

• Charles F. D. McCoy:
  Finite computable dimension does not relativize. 309-320
  Electronic Edition (link) BibTeX
• Saharon Shelah:
  PCF and infinite free subsets in an algebra. 321-359
  Electronic Edition (link) BibTeX
• Stefano Aguzzoli, Brunella Gerla:
  Finite-valued reductions of infinite-valued logics. 361-399
  Electronic Edition (link) BibTeX

Volume 41, Number 5, July 2002

• Saharon Shelah:
  More constructions for Boolean algebras. 401-441
  Electronic Edition (link) BibTeX
• C. Luppi:
  On the Beth properties of some intuitionistic modal logics. 443-454
  Electronic Edition (link) BibTeX
• S. Barry Cooper, Angsheng Li, Xiaoding Yi:
  On the distribution of Lachlan nonsplitting bases. 455-482
  Electronic Edition (link) BibTeX
• James C. Owings, William I. Gasarch, Georgia Martin:
  Max and min limiters. 483-495
  Electronic Edition (link) BibTeX
• Mitio Takano:
  Strong completeness of lattice-valued logic. 497-505
  Electronic Edition (link) BibTeX

Volume 41, Number 6, August 2002

• Joel David Hamkins, Andrew Lewis:
  Post's problem for supertasks has both positive and negative solutions. 507-523
  Electronic Edition (link) BibTeX
• Dag Normann, Geir Waagbø:
  Limit spaces and transfinite types. 525-539
  Electronic Edition (link) BibTeX
• Rami P. Grossberg, José Iovino, Olivier Lessmann:
  A primer of simple theories. 541-580
  Electronic Edition (link) BibTeX
• J. Avigad, Jeremy Helzner:
  Transfer principles in nonstandard intuitionistic arithmetic. 581-602
  Electronic Edition (link) BibTeX

Volume 41, Number 7, October 2002

• Silvio Valentini:
  On the formal points of the formal topology of the binary tree. 603-618
  Electronic Edition (link) BibTeX
• Josef Mlcek, Pavol Zlatos:
  Some Ramsey-type theorems for countably determined sets. 619-630
  Electronic Edition (link) BibTeX
• Marie-Hélène Mourgues:
  Analytic functions over a field of power series. 631-642
  Electronic Edition (link) BibTeX
• Loredana Biacino, Giangiacomo Gerla:
  Fuzzy logic, continuity and effectiveness. 643-667
  Electronic Edition (link) BibTeX
• Predrag Tanovic:
  A note on countable models of 1-based theories. 669-671
  Electronic Edition (link) BibTeX
• Antonio di Nola, Francesc Esteva, Pere Garcia, Lluis Godo, Salvatore Sessa:
  Subvarieties of BL-algebras generated by single-component chains. 673-685
  Electronic Edition (link) BibTeX
• Thierry Coquand, Erik Palmgren:
  Metric Boolean algebras and constructive measure theory. 687-704
  Electronic Edition (link) BibTeX

Volume 41, Number 8, November 2002

• Arthur W. Apter:
  Aspects of strong compactness, measurability, and indestructibility. 705-719
  Electronic Edition (link) BibTeX
• Dag Normann:
  Representation theorems for transfinite computability and definability. 721-741
  Electronic Edition (link) BibTeX
• Pierre Matet, Cédric Péan, Stevo Todorcevic:
  Prime ideals on P _omega (lambda) with the partition property. 743-764
  Electronic Edition (link) BibTeX
• Dag Normann:
  Continuity, proof systems and the theory of transfinite computations. 765-788
  Electronic Edition (link) BibTeX
• Sara Negri:
  A normalizing system of natural deduction for intuitionistic linear logic. 789-810
  Electronic Edition (link) BibTeX