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

• 1972
• 
  Peter Aczel:
  Describing Ordinals Using Functionals of Transfinite Type. J. Symb. Log. 37(1): 35-47 (1972)
• 
  Henry Africk:
  A Proof Theoretic Proof of Scott's General Interpolation Theorem. J. Symb. Log. 37(4): 683-695 (1972)
• 
  Peter B. Andrews:
  General Models, Descriptions, and Choice in Type Theory. J. Symb. Log. 37(2): 385-394 (1972)
• 
  Peter B. Andrews:
  General Models and Extensionality. J. Symb. Log. 37(2): 395-397 (1972)
• 
  John T. Baldwin:
  Almost Strongly Minimal Theories. I. J. Symb. Log. 37(3): 487-493 (1972)
• 
  John T. Baldwin:
  Almost Strongly Minimal Theories. II. J. Symb. Log. 37(4): 657-660 (1972)
• 
  K. Jon Barwise:
  The Hanf Number of Second Order Logic. J. Symb. Log. 37(3): 588-594 (1972)
• 
  Andreas Blass:
  The Intersection of Nonstandard Models of Arithmetic. J. Symb. Log. 37(1): 103-106 (1972)
• 
  Andreas Blass:
  Theories without Countable Models. J. Symb. Log. 37(3): 562-568 (1972)
• 
  Andreas Blass:
  On the Inadequacy of Inner Models. J. Symb. Log. 37(3): 569-571 (1972)
• 
  Gregory L. Cherlin:
  The Model-Companion of a Class of Structures. J. Symb. Log. 37(3): 546-556 (1972)
• 
  Rolando Chuaqui:
  Forcing for the Impredicative Theory of Classes. J. Symb. Log. 37(1): 1-18 (1972)
• 
  S. Barry Cooper:
  Jump Equivalence of the triangle ⁰₂ Hyperhyperimmune Sets. J. Symb. Log. 37(3): 598-600 (1972)
• 
  John Corcoran:
  Completeness of an Ancient Logic. J. Symb. Log. 37(4): 696-702 (1972)
• 
  Nigel J. Cutland:
  sigma₁-Compactness and Ultraproducts. J. Symb. Log. 37(4): 668-672 (1972)
• 
  James D. Davis:
  The Inconsistency of a Certain Axiom System for Set Theory. J. Symb. Log. 37(3): 538-542 (1972)
• 
  Daniel B. Demaree:
  Copeland Algebras. J. Symb. Log. 37(4): 646-656 (1972)
• 
  Paul C. Eklof:
  Some Model Theory of Abelian Groups. J. Symb. Log. 37(2): 335-342 (1972)
• 
  Erik Ellentuck:
  Nonrecursive Combinatorial Functions. J. Symb. Log. 37(1): 90-95 (1972)
• 
  Erik Ellentuck:
  The Positive Properties of Isolic Integers. J. Symb. Log. 37(1): 114-132 (1972)
• 
  Erik Ellentuck:
  An Algebraic Difference Between Isols and Cosimple Isols. J. Symb. Log. 37(3): 557-561 (1972)
• 
  Dov M. Gabbay:
  Applications of Trees to Intermediate Logics. J. Symb. Log. 37(1): 135-138 (1972)
• 
  Dov M. Gabbay:
  Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. J. Symb. Log. 37(2): 375-384 (1972)
• 
  Dov M. Gabbay:
  Decidability of Some Intuitionistic Predicate Theories. J. Symb. Log. 37(3): 579-587 (1972)
• 
  Solomon Garfunkel, Herbert S. Shank:
  On the Undecidability of Finite Planar Cubic Graphs. J. Symb. Log. 37(3): 595-597 (1972)
• 
  Stephen J. Garland:
  Generalized Interpolation Theorems. J. Symb. Log. 37(2): 343-351 (1972)
• 
  Nicolas D. Goodman:
  A simplification of combinatory Logic. J. Symb. Log. 37(2): 225-246 (1972)
• 
  Thomas J. Grilliot:
  Omitting Types: Application to Recursion Theory. J. Symb. Log. 37(1): 81-89 (1972)
• 
  Louise Hay:
  A Discrete Chain of Degrees of Index Sets. J. Symb. Log. 37(1): 139-149 (1972)
• 
  Louise Hay:
  A Note on Frame Extensions. J. Symb. Log. 37(3): 543-545 (1972)

skipping 40 more matches