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

• 2000
• 
  Peter Apostoli:
  The Analytic Conception of Truth and The Foundations of Arithmetic. J. Symb. Log. 65(1): 33-102 (2000)
• 
  Arthur W. Apter, James Cummings:
  Identity Crises, Strong Compactness. J. Symb. Log. 65(4): 1895-1910 (2000)
• 
  Toshiyasu Arai:
  Ordinal Diagrams for PI₃-Reflection. J. Symb. Log. 65(3): 1375-1394 (2000)
• 
  Jeremy Avigad:
  Interpreting Classical Theories in Constructive Ones. J. Symb. Log. 65(4): 1785-1812 (2000)
• 
  Arnon Avron:
  Implicational F-Structures and Implicational Relevance Logics. J. Symb. Log. 65(2): 788-802 (2000)
• 
  Steven Awodey, Carsten Butz:
  Topological Completeness for Higher-Order Logic. J. Symb. Log. 65(3): 1168-1182 (2000)
• 
  John T. Baldwin, Kitty L. Holland:
  Constructing omega-Stable Structures: Rank 2 Fields. J. Symb. Log. 65(1): 371-391 (2000)
• 
  Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah:
  After All, There Are Some Inequalities Which Are Provable in ZFC. J. Symb. Log. 65(2): 803-816 (2000)
• 
  Andreas Baudisch:
  Closures in Alef-Symbol₀-Categorical Bilinear Maps. J. Symb. Log. 65(2): 914-922 (2000)
• 
  Andreas Baudisch, Anand Pillay:
  A Free Pseudospace. J. Symb. Log. 65(1): 443-460 (2000)
• 
  Richard Beigel, William I. Gasarch, Martin Kummer, Georgia Martin, Timothy H. McNicholl, Frank Stephan:
  The Comlexity of Odd^A_n. J. Symb. Log. 65(1): 1-18 (2000)
• 
  Oleg V. Belegradek, Ya'acov Peterzil, Frank Wagner:
  Quasi-O-Minimal Structures. J. Symb. Log. 65(3): 1115-1132 (2000)
• 
  Stanislaw Bereznyuk, Richard Coles, Andrea Sorbi:
  The Distribution of Properly Sigma⁰₂ e-Degrees. J. Symb. Log. 65(1): 19-32 (2000)
• 
  Alexis Bès:
  An Extension of The Cobham-Semënov Theorem. J. Symb. Log. 65(1): 201-211 (2000)
• 
  Andreas Blass, Yuri Gurevich:
  The Logic of Choice. J. Symb. Log. 65(3): 1264-1310 (2000)
• 
  Alexander Bochman:
  Belief Contraction as Nonmonotonic Inference. J. Symb. Log. 65(2): 605-626 (2000)
• 
  Sedki Boughattas:
  Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle. J. Symb. Log. 65(1): 111-154 (2000)
• 
  Martin W. Bunder:
  Expedited Broda-Damas Bracket Abstraction. J. Symb. Log. 65(4): 1850-1857 (2000)
• 
  Wolfgang Burr:
  Fragments of Heyting Arithmetic. J. Symb. Log. 65(3): 1223-1240 (2000)
• 
  John Cantwell:
  Logics of Belief Change without Linearity. J. Symb. Log. 65(4): 1556-1575 (2000)
• 
  Zoé Chatzidakis, Carol Wood:
  Minimal Types in Separably Closed Fields. J. Symb. Log. 65(3): 1443-1450 (2000)
• 
  Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz:
  Dualization of The Van Douwen Diagram. J. Symb. Log. 65(2): 959-968 (2000)
• 
  Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith:
  Formal Topologies on The Set of First-Order Formulae. J. Symb. Log. 65(3): 1183-1192 (2000)
• 
  Marcel Crabbé:
  The Rise and Fall of Typed Sentences. J. Symb. Log. 65(4): 1858-1862 (2000)
• 
  Janusz Czelakowski, Ramon Jansana:
  Weakly Algebraizable Logics. J. Symb. Log. 65(2): 641-668 (2000)
• 
  Giovanna D'Agostino, Marco Hollenberg:
  Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. J. Symb. Log. 65(1): 310-332 (2000)
• 
  Peter Dybjer:
  A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. J. Symb. Log. 65(2): 525-549 (2000)
• 
  Roy Dyckhoff, Sara Negri:
  Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. J. Symb. Log. 65(4): 1499-1518 (2000)
• 
  Miklós Erdélyi-Szabó:
  Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. J. Symb. Log. 65(3): 1014-1030 (2000)
• 
  Olivier Esser:
  Inconsistency of The Axiom of Choice with The Positive Theory GPK⁺_infinite. J. Symb. Log. 65(4): 1911-1916 (2000)

skipping 80 more matches