• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 43 matches

• 2001
• 
  Zofia Adamowicz, Pawel Zbierski:
  On Herbrand consistency in weak arithmetic. Arch. Math. Log. 40(6): 399-413 (2001)
• 
  Arthur W. Apter, James Cummings:
  Identity crises and strong compactness. Arch. Math. Log. 40(1): 25-38 (2001)
• 
  Arthur W. Apter, Mirna Dzamonja:
  Some remarks on a question of D. H. Fremlin regarding epsilon-density. Arch. Math. Log. 40(7): 531-540 (2001)
• 
  Mohammad Ardeshir, Wim Ruitenburg:
  Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40(5): 349-364 (2001)
• 
  Marat M. Arslanov, Iskander Sh. Kalimullin, Andrea Sorbi:
  Density results in the Delta20 e-degrees. Arch. Math. Log. 40(8): 597-614 (2001)
• 
  Kamila Bendová:
  On ordering and multiplication of natural numbers. Arch. Math. Log. 40(1): 19-23 (2001)
• 
  Wilfried Buchholz:
  Explaining the Gentzen-Takeuti reduction steps: a second-order system. Arch. Math. Log. 40(4): 255-272 (2001)
• 
  Thierry Coulbois:
  The class of groups which have a subgroup of index 2 is not elementary. Arch. Math. Log. 40(7): 523-524 (2001)
• 
  P. Creed, John Kenneth Truss:
  On quasi-amorphous sets. Arch. Math. Log. 40(8): 581-596 (2001)
• 
  George Davie:
  Recursive events in random sequences. Arch. Math. Log. 40(8): 629-638 (2001)
• 
  Rodney G. Downey, Michael R. Fellows:
  Index sets and parametric reductions. Arch. Math. Log. 40(5): 329-348 (2001)
• 
  Todd Eisworth:
  Near coherence and filter games. Arch. Math. Log. 40(3): 235-242 (2001)
• 
  Birgit Elbl:
  Cut elimination for a calculus with context-dependent rules. Arch. Math. Log. 40(3): 167-188 (2001)
• 
  Ali Enayat:
  Trees and Keislers problem. Arch. Math. Log. 40(4): 273-276 (2001)
• 
  Francesc Esteva, Lluís Godo, Franco Montagna:
  The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. Arch. Math. Log. 40(1): 39-67 (2001)
• 
  Peter A. Fejer, Richard A. Shore:
  Every incomplete computably enumerable truth-table degree is branching. Arch. Math. Log. 40(2): 113-123 (2001)
• 
  Josep Maria Font, Ramon Jansana:
  Leibniz filters and the strong version of a protoalgebraic logic. Arch. Math. Log. 40(6): 437-465 (2001)
• 
  Sakaé Fuchino, Stefan Geschke, Lajos Soukup:
  On the weak Freese-Nation property of ?(omega). Arch. Math. Log. 40(6): 425-435 (2001)
• 
  Moti Gitik, Saharon Shelah:
  On some configurations related to the Shelah Weak Hypothesis. Arch. Math. Log. 40(8): 639-650 (2001)
• 
  Joel David Hamkins:
  The Wholeness Axioms and V=HOD. Arch. Math. Log. 40(1): 1-8 (2001)
• 
  Vladimir Kanovei:
  A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. Arch. Math. Log. 40(8): 615-628 (2001)
• 
  Kyriakos Keremedis:
  Disasters in topology without the axiom of choice. Arch. Math. Log. 40(8): 569-580 (2001)
• 
  Ulrich Kohlenbach:
  A note on Spector's quantifier-free rule of extensionality. Arch. Math. Log. 40(2): 89-92 (2001)
• 
  Lars Kristiansen:
  Subrecursive degrees and fragments of Peano Arithmetic. Arch. Math. Log. 40(5): 365-397 (2001)
• 
  Jean-Louis Krivine:
  Typed lambda-calculus in classical Zermelo-Frænkel set theory. Arch. Math. Log. 40(3): 189-205 (2001)
• 
  Michael C. Laskowski, Saharon Shelah:
  The Karp complexity of unstable classes. Arch. Math. Log. 40(2): 69-88 (2001)
• 
  Steffen Lempp, André Nies, Reed Solomon:
  On the filter of computably enumerable supersets of an r-maximal set. Arch. Math. Log. 40(6): 415-423 (2001)
• 
  Benedikt Löwe:
  Turing cones and set theory of the reals. Arch. Math. Log. 40(8): 651-664 (2001)
• 
  Alex M. McAllister:
  Computability in structures representing a Scott set. Arch. Math. Log. 40(3): 147-165 (2001)
• 
  Heike Mildenberger:
  Groupwise dense families. Arch. Math. Log. 40(2): 93-112 (2001)

skipping 13 more matches