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- Isabel Oitavem: A term rewriting characterization of the functions computable in polynomial space. 35-47
- Daniel W. Cunningham: A covering lemma for L(R). 49-54
- António Marques Fernandes: A new conservation result of WKL0 over RCA0. 55-63
- Radim Belohlávek: Fuzzy equational logic. 83-90
- Yoriyuki Yamagata: Strong normalization of a symmetric lambda calculus for second-order classical logic. 91-99
- Morteza Moniri: H-theories, fragments of HA and PA-normality. 101-105
Volume 41, Number 2, February 2002
- Francesco Paoli: On the algebraic structure of linear, relevance, and fuzzy logics. 107-121
- Toshiyasu Arai: Epsilon substitution method for theories of jump hierarchies. 123-153
- John T. Baldwin, Olivier Lessmann: Amalgamation properties and finite models in Ln-theories. 155-167
- Andrea Cantini: Polytime, combinatory logic and positive safe induction. 169-189
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
- Yongge Wang: The algebraic structure of the isomorphic types of tally, polynomial time computable sets. 215-244
- Arnold Beckmann: A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets. 251-257
- Giovanna D'Agostino, Albert Visser: Finality regained: A coalgebraic study of Scott-sets and multisets. 267-298
- Alexej P. Pynko: Extensions of Halkowska-Zajac's three-valued paraconsistent logic. 299-307
Volume 41, Number 4, April 2002
- Charles F. D. McCoy: Finite computable dimension does not relativize. 309-320
- Saharon Shelah: PCF and infinite free subsets in an algebra. 321-359
Volume 41, Number 5, July 2002
- Saharon Shelah: More constructions for Boolean algebras. 401-441
- C. Luppi: On the Beth properties of some intuitionistic modal logics. 443-454
- S. Barry Cooper, Angsheng Li, Xiaoding Yi: On the distribution of Lachlan nonsplitting bases. 455-482
- Mitio Takano: Strong completeness of lattice-valued logic. 497-505
Volume 41, Number 6, August 2002
- Joel David Hamkins, Andrew Lewis: Post's problem for supertasks has both positive and negative solutions. 507-523
Volume 41, Number 7, October 2002
- Silvio Valentini: On the formal points of the formal topology of the binary tree. 603-618
- Marie-Hélène Mourgues: Analytic functions over a field of power series. 631-642
- Predrag Tanovic: A note on countable models of 1-based theories. 669-671
- Antonio di Nola, Francesc Esteva, Pere Garcia, Lluis Godo, Salvatore Sessa: Subvarieties of BL-algebras generated by single-component chains. 673-685
Volume 41, Number 8, November 2002
- Arthur W. Apter: Aspects of strong compactness, measurability, and indestructibility. 705-719
- Dag Normann: Representation theorems for transfinite computability and definability. 721-741
- Pierre Matet, Cédric Péan, Stevo Todorcevic: Prime ideals on P omega (lambda) with the partition property. 743-764
- Dag Normann: Continuity, proof systems and the theory of transfinite computations. 765-788
- Sara Negri: A normalizing system of natural deduction for intuitionistic linear logic. 789-810
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team