default search action
Archive for Mathematical Logic, Volume 40
Volume 40, Number 1, January 2001
- Joel David Hamkins
:
The Wholeness Axioms and V=HOD. 1-8 - Jan von Plato:
A proof of Gentzen's Hauptsatz without multicut. 9-18 - Kamila Bendová:
On ordering and multiplication of natural numbers. 19-23 - Arthur W. Apter, James Cummings
Identity crises and strong compactness. 25-38 - Francesc Esteva, Lluís Godo
The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. 39-67
Volume 40, Number 2, February 2001
- Michael C. Laskowski, Saharon Shelah
The Karp complexity of unstable classes. 69-88 - Ulrich Kohlenbach:
A note on Spector's quantifier-free rule of extensionality. 89-92 - Heike Mildenberger:
Groupwise dense families. 93-112 - Peter A. Fejer, Richard A. Shore:
Every incomplete computably enumerable truth-table degree is branching. 113-123 - Matatyahu Rubin, Sabine Koppelberg:
A superatomic Boolean algebra with few automorphisms. 125-129 - Athanassios Tzouvaras:
Freiling's axioms of symmetry in a general setting and some applications. 131-145
Volume 40, Number 3, April 2001
- Alex M. McAllister:
Computability in structures representing a Scott set. 147-165 - Birgit Elbl:
Cut elimination for a calculus with context-dependent rules. 167-188 - Jean-Louis Krivine:
Typed lambda-calculus in classical Zermelo-Frænkel set theory. 189-205 - Michael Rathjen:
The strength of Martin-Löf type theory with a superuniverse. Part II. 207-233 - Todd Eisworth
Near coherence and filter games. 235-242
Volume 40, Number 4, May 2001
- J. Donald Monk:
The spectrum of partitions of a Boolean algebra. 243-254 - Wilfried Buchholz:
Explaining the Gentzen-Takeuti reduction steps: a second-order system. 255-272 - Ali Enayat:
Trees and Keislers problem. 273-276 - Albert Visser:
Submodels of Kripke models. 277-295 - Alexandra Shlapentokh:
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q. 297-328
Volume 40, Number 5, July 2001
- Rodney G. Downey, Michael R. Fellows
Index sets and parametric reductions. 329-348 - Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus II. Interpolation. 349-364 - Lars Kristiansen:
Subrecursive degrees and fragments of Peano Arithmetic. 365-397
Volume 40, Number 6, August 2001
- Zofia Adamowicz, Pawel Zbierski:
On Herbrand consistency in weak arithmetic. 399-413 - Steffen Lempp, André Nies
On the filter of computably enumerable supersets of an r-maximal set. 415-423 - Sakaé Fuchino, Stefan Geschke, Lajos Soukup:
On the weak Freese-Nation property of ?(omega). 425-435 - Josep Maria Font, Ramon Jansana
Leibniz filters and the strong version of a protoalgebraic logic. 437-465 - Esko Turunen:
Boolean deductive systems of BL-algebras. 467-473
Volume 40, Number 7, October 2001
- Silvio Valentini:
An elementary proof of strong normalization for intersection types. 475-488 - Frank Stephan
On one-sided versus two-sided classification. 489-513 - Francis Oger:
Axiomatization of abelian-by-G groups for a finite group G. 515-521 - Thierry Coulbois:
The class of groups which have a subgroup of index 2 is not elementary. 523-524 - Françoise Point:
On the definability of verbal subgroups. 525-529 - Arthur W. Apter, Mirna Dzamonja
Some remarks on a question of D. H. Fremlin regarding epsilon-density. 531-540 - Jan von Plato:
Natural deduction with general elimination rules. 541-567
Volume 40, Number 8, November 2001
- Kyriakos Keremedis:
Disasters in topology without the axiom of choice. 569-580 - P. Creed, John Kenneth Truss:
On quasi-amorphous sets. 581-596 - Marat M. Arslanov
Density results in the Delta20 e-degrees. 597-614 - Vladimir Kanovei
A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. 615-628 - George Davie:
Recursive events in random sequences. 629-638 - Moti Gitik, Saharon Shelah
On some configurations related to the Shelah Weak Hypothesis. 639-650 - Benedikt Löwe:
Turing cones and set theory of the reals. 651-664
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 2024-11-18 20:48 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: