• 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 9 matches

• 1995
• 
  Arthur W. Apter, Menachem Magidor:
  Instances of Dependent Choice and the Measurability of aleph_{omega + 1}. Ann. Pure Appl. Log. 74(3): 203-219 (1995)
• 
  Samuel R. Buss, Aleksandar Ignjatovic:
  Unprovability of Consistency Statements in Fragments of Bounded Arithmetic. Ann. Pure Appl. Log. 74(3): 221-244 (1995)
• 
  Charalampos Cornaros:
  On Grzegorczyk Induction. Ann. Pure Appl. Log. 74(1): 1-21 (1995)
• 
  Kai Hauser:
  The Consistency Strength of Projective Absoluteness. Ann. Pure Appl. Log. 74(3): 245-295 (1995)
• 
  Gerhard Jäger, Thomas Strahm:
  Totality in Applicative Theories. Ann. Pure Appl. Log. 74(2): 105-120 (1995)
• 
  Phokion G. Kolaitis, Jouko A. Väänänen:
  Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Log. 74(1): 23-75 (1995)
• 
  Dusko Pavlovic:
  On Completeness and Cocompleteness in an Around Small Categories. Ann. Pure Appl. Log. 74(2): 121-152 (1995)
• 
  Ernest Schimmerling:
  Combinatorial Principle in the Core Model for one Woodin Cardinal. Ann. Pure Appl. Log. 74(2): 153-201 (1995)
• 
  John R. Steel:
  Projectively Well-Ordered Inner Models. Ann. Pure Appl. Log. 74(1): 77-104 (1995)