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

• 2009
• 
  Luca Alberucci, Alessandro Facchini:
  The modal µ-calculus hierarchy over restricted classes of transition systems. J. Symb. Log. 74(4): 1367-1400 (2009)
• 
  Klaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu:
  Bounding non-GL₂ and R.E.A. J. Symb. Log. 74(3): 989-1000 (2009)
• 
  Bernard A. Anderson:
  Automorphisms of the truth-table degrees are fixed on a cone. J. Symb. Log. 74(2): 679-688 (2009)
• 
  Jeremy Avigad, Henry Towsner:
  Functional interpretation and inductive definitions. J. Symb. Log. 74(4): 1100-1120 (2009)
• 
  Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren:
  Lawvere - Tierney sheaves in Algebraic Set Theory. J. Symb. Log. 74(3): 861-890 (2009)
• 
  Serikzhan A. Badaev, Steffen Lempp:
  A decomposition of the Rogers semilattice of a family of d.c.e. sets. J. Symb. Log. 74(2): 618-640 (2009)
• 
  John T. Baldwin, Alexei Kolesnikov, Saharon Shelah:
  The amalgamation spectrum. J. Symb. Log. 74(3): 914-928 (2009)
• 
  Verónica Becher, Serge Grigorieff:
  From index sets to randomness in EMPTY SET ⁿ: random reals and possibly infinite computations. Part II. J. Symb. Log. 74(1): 124-156 (2009)
• 
  Michael Benedikt, Luc Segoufin:
  Towards a characterization of order-invariant queries over tame graphs. J. Symb. Log. 74(1): 168-186 (2009)
• 
  Alessandro Berarducci:
  Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup. J. Symb. Log. 74(3): 891-900 (2009)
• 
  Stephen Binns, Bjørn Kjos-Hanssen:
  Finding paths through narrow and wide trees. J. Symb. Log. 74(1): 349-360 (2009)
• 
  Nathan J. Bowler, Thomas Forster:
  Normal subgroups of infinite symmetric groups, with an application to stratified set theory. J. Symb. Log. 74(1): 17-26 (2009)
• 
  Jörg Brendle, Michael Hrusák:
  Countable Fréchet Boolean groups: An independence result. J. Symb. Log. 74(3): 1061-1068 (2009)
• 
  Eyvind Martol Briseid:
  Logical aspects of rates of convergence in metric spaces. J. Symb. Log. 74(4): 1401-1428 (2009)
• 
  Andrew D. Brooke-Taylor:
  Large cardinals and definable well-orders on the universe. J. Symb. Log. 74(2): 641-654 (2009)
• 
  Lorenzo Carlucci, John Case, Sanjay Jain:
  Learning correction grammars. J. Symb. Log. 74(2): 489-516 (2009)
• 
  Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel:
  Equivalence structures and isomorphisms in the difference hierarchy. J. Symb. Log. 74(2): 535-556 (2009)
• 
  John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn:
  Intrinsic bounds on complexity and definability at limit levels. J. Symb. Log. 74(3): 1047-1060 (2009)
• 
  Peter Cholak, Theodore A. Slaman, Carl G. Jockusch Jr.:
  Corrigendum to: "On the strength of Ramsey's Theorem for pairs". J. Symb. Log. 74(4): 1438-1439 (2009)
• 
  Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl:
  Reverse mathematics, computability, and partitions of trees. J. Symb. Log. 74(1): 201-215 (2009)
• 
  Benjamin Claverie, Ralf Schindler:
  Increasing u₂ by a stationary set preserving forcing. J. Symb. Log. 74(1): 187-200 (2009)
• 
  Charalampos Cornaros, Alan R. Woods:
  On bounded arithmetic augmented by the ability to count certain sets of primes. J. Symb. Log. 74(2): 455-473 (2009)
• 
  Barbara F. Csima, Joseph R. Mileti:
  The strength of the rainbow Ramsey Theorem. J. Symb. Log. 74(4): 1310-1324 (2009)
• 
  David Diamondstone:
  Promptness does not imply superlow cuppability. J. Symb. Log. 74(4): 1264-1272 (2009)
• 
  Rodney G. Downey, Bart Kastermans, Steffen Lempp:
  On computable self-embeddings of computable linear orderings. J. Symb. Log. 74(4): 1352-1366 (2009)
• 
  Damir D. Dzhafarov, Carl G. Jockusch Jr.:
  Ramsey's theorem and cone avoidance. J. Symb. Log. 74(2): 557-578 (2009)
• 
  Todd Eisworth, Saharon Shelah:
  Successors of singular cardinals and coloring theorems {II}. J. Symb. Log. 74(4): 1287-1309 (2009)
• 
  David E. Evans, Mark Wing Ho Wong:
  Some remarks on generic structures. J. Symb. Log. 74(4): 1143-1154 (2009)
• 
  Arno Fehm, Wulf-Dieter Geyer:
  A note on defining transcendentals in function fields. J. Symb. Log. 74(4): 1206-1210 (2009)
• 
  Stephen A. Fenner, William I. Gasarch, Brian Postow:
  The complexity of learning SUBSEQ(A). J. Symb. Log. 74(3): 939-975 (2009)

skipping 46 more matches