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

• 2014
• 
  Nathanael Leedom Ackerman:
  Sheaf Recursion and a Separation Theorem. J. Symb. Log. 79(3): 882-907 (2014)
• 
  Hans Adler, Enrique Casanovas, Anand Pillay:
  Generic stability and stability. J. Symb. Log. 79(1): 179-185 (2014)
• 
  Bijan Afshordel:
  Generic Automorphisms with prescribed Fixed Fields. J. Symb. Log. 79(4): 985-1000 (2014)
• 
  Uri Andrews:
  Decidable Models of ω-Stable Theories. J. Symb. Log. 79(1): 186-192 (2014)
• 
  Uri Andrews, Steffen Lempp, Joseph S. Miller, Keng Meng Ng, Luca San Mauro, Andrea Sorbi:
  Universal computably Enumerable Equivalence Relations. J. Symb. Log. 79(1): 60-88 (2014)
• 
  Will Anscombe, Jochen Koenigsmann:
  AN EXISTENTIAL ∅-DEFINITION OF $F_q [[t]]$ IN $F_q \left( t \right)$. J. Symb. Log. 79(4): 1336-1343 (2014)
• 
  Toshiyasu Arai:
  Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory. J. Symb. Log. 79(2): 325-354 (2014)
• 
  Toshiyasu Arai:
  Conservations of First-order Reflections. J. Symb. Log. 79(3): 814-825 (2014)
• 
  Joan Bagaria, Menachem Magidor:
  ON ${\omega _1}$-STRONGLY COMPACT CARDINALS. J. Symb. Log. 79(1): 266-278 (2014)
• 
  George Barmpalias, Rodney G. Downey:
  Exact Pairs for the Ideal of the k-Trivial Sequences in the Turing Degrees. J. Symb. Log. 79(3): 676-692 (2014)
• 
  Bruno Bauwens, Alexander Shen:
  Complexity of Complexity and Strings with Maximal Plain and Prefix Kolmogorov Complexity. J. Symb. Log. 79(2): 620-632 (2014)
• 
  David R. Bélanger:
  Reverse Mathematics of First-order Theories with Finitely Many Models. J. Symb. Log. 79(3): 955-984 (2014)
• 
  Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi:
  Algebraic Geometry for MV-Algebras. J. Symb. Log. 79(4): 1061-1091 (2014)
• 
  George M. Bergman:
  Families of Ultrafilters, and Homomorphisms on Infinite Direct Product Algebras. J. Symb. Log. 79(1): 223-239 (2014)
• 
  Achilles Beros:
  Learning Theory in the Arithmetic Hierarchy. J. Symb. Log. 79(3): 908-927 (2014)
• 
  Konstantinos A. Beros:
  Universal Subgroups of Polish Groups. J. Symb. Log. 79(4): 1148-1183 (2014)
• 
  Laurent Bienvenu, Rod Downey, Noam Greenberg, André Nies, Daniel Turetsky:
  Characterizing Lowness for Demuth Randomness. J. Symb. Log. 79(2): 526-560 (2014)
• 
  Will Boney:
  Tameness from Large Cardinal Axioms. J. Symb. Log. 79(4): 1092-1119 (2014)
• 
  Chad E. Brown, Christine Rizkallah:
  Glivenko and Kuroda for Simple Type Theory. J. Symb. Log. 79(2): 485-495 (2014)
• 
  Samuel R. Buss, Leszek Aleksander Kolodziejczyk, Neil Thapen:
  Fragments of Approximate Counting. J. Symb. Log. 79(2): 496-525 (2014)
• 
  Lorenzo Carlucci, Konrad Zdanowski:
  The strength of Ramsey's Theorem for Coloring Relatively Large Sets. J. Symb. Log. 79(1): 89-102 (2014)
• 
  Annalisa Conversano:
  A Reduction to the Compact Case for Groups Definable in O-Minimal Structures. J. Symb. Log. 79(1): 45-53 (2014)
• 
  Sean Cox, Martin Zeman:
  Ideal Projections and forcing Projections. J. Symb. Log. 79(4): 1247-1285 (2014)
• 
  Claudia Degroote, Jeroen Demeyer:
  Diophantine Sets of polynomials over Algebraic Extensions of the Rationals. J. Symb. Log. 79(3): 733-747 (2014)
• 
  Michal Doucha:
  F _σ Equivalence Relations and Laver forcing. J. Symb. Log. 79(2): 644-653 (2014)
• 
  Fernando Ferreira:
  A New Computation of the σ-Ordinal of KP_ω. J. Symb. Log. 79(1): 306-324 (2014)
• 
  Joseph Flenner, Vincent Guingona:
  Convexly orderable Groups and Valued Fields. J. Symb. Log. 79(1): 154-170 (2014)
• 
  Laura Fontanella:
  The Strong Tree Property at Successors of singular Cardinals. J. Symb. Log. 79(1): 193-207 (2014)
• 
  Johanna N. Y. Franklin, Keng Meng Ng:
  ω-Change Randomness and Weak Demuth Randomness. J. Symb. Log. 79(3): 776-791 (2014)
• 
  Gunter Fuchs:
  On Sequences Generic in the Sense of Magidor. J. Symb. Log. 79(4): 1286-1314 (2014)

skipping 36 more matches