default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive 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 - Michael Möllerfeld, Michael Rathjen:
A note on the Sigma1 spectrum of a theory. 33-34 - 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 - Tomek Bartoszynski, Andrzej Roslanowski:
Towards Martins minimum. 65-82 - 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 - Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson:
Vitali's Theorem and WWKL. 191-206
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 - Tomek Bartoszynski, Saharon Shelah:
Strongly meager and strong measure zero sets. 245-250 - Arnold Beckmann:
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets. 251-257 - Shamil Ishmukhametov, Guohua Wu:
Isolation and the high/low hierarchy. 259-266 - 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 - Stefano Aguzzoli, Brunella Gerla:
Finite-valued reductions of infinite-valued logics. 361-399
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 - James C. Owings, William I. Gasarch, Georgia Martin:
Max and min limiters. 483-495 - 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 - Dag Normann, Geir Waagbø:
Limit spaces and transfinite types. 525-539 - Rami P. Grossberg, José Iovino, Olivier Lessmann:
A primer of simple theories. 541-580 - Jeremy Avigad, Jeremy Helzner:
Transfer principles in nonstandard intuitionistic arithmetic. 581-602
Volume 41, Number 7, October 2002
- Silvio Valentini:
On the formal points of the formal topology of the binary tree. 603-618 - Josef Mlcek, Pavol Zlatos:
Some Ramsey-type theorems for countably determined sets. 619-630 - Marie-Hélène Mourgues:
Analytic functions over a field of power series. 631-642 - Loredana Biacino, Giangiacomo Gerla:
Fuzzy logic, continuity and effectiveness. 643-667 - Predrag Tanovic:
A note on countable models of 1-based theories. 669-671 - Antonio Di Nola, Francesc Esteva, Pere Garcia, Lluís Godo, Salvatore Sessa:
Subvarieties of BL-algebras generated by single-component chains. 673-685 - Thierry Coquand, Erik Palmgren:
Metric Boolean algebras and constructive measure theory. 687-704
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
