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

• 2018
• 
  Athar Abdul-Quader:
  Enayat Models of Peano Arithmetic. J. Symb. Log. 83(4): 1501-1511 (2018)
• 
  Lovkush Agarwal, Michael Kompatscher:
  ${2{{\aleph _0}}}$ Pairwise nonisomorphic Maximal-closed Subgroups of Sym(ℕ) via the Classification of the Reducts of the Henson digraphs. J. Symb. Log. 83(2): 395-415 (2018)
• 
  Toshiyasu Arai:
  Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions. J. Symb. Log. 83(3): 1091-1111 (2018)
• 
  David Asperó:
  A forcing Notion Collapsing $\aleph _3 $ and Preserving All other Cardinals. J. Symb. Log. 83(4): 1579-1594 (2018)
• 
  Eric P. Astor:
  The Computational Content of Intrinsic density. J. Symb. Log. 83(2): 817-828 (2018)
• 
  Vince Bárány, Michael Benedikt, Balder ten Cate:
  Some Model Theory of Guarded Negation. J. Symb. Log. 83(4): 1307-1344 (2018)
• 
  Nikolay Bazhenov, Iskander Sh. Kalimullin, Mars M. Yamaleev:
  Degrees of Categoricity and spectral Dimension. J. Symb. Log. 83(1): 103-116 (2018)
• 
  Josef Berger, Gregor Svindland:
  Brouwer's Fan Theorem and convexity. J. Symb. Log. 83(4): 1363-1375 (2018)
• 
  Gareth Boxall, Charlotte Kestner:
  The Definable (P, Q)-Theorem for distal Theories. J. Symb. Log. 83(1): 123-127 (2018)
• 
  Jörg Brendle, Barnabás Farkas, Jonathan Verner:
  Towers in filters, cardinal Invariants, and Luzin Type families. J. Symb. Log. 83(3): 1013-1062 (2018)
• 
  Will Brian:
  Abstract ω-Limit Sets. J. Symb. Log. 83(2): 477-495 (2018)
• 
  Filippo Calderoni:
  The Complexity of the Embeddability Relation between torsion-Free Abelian Groups of uncountable Size. J. Symb. Log. 83(2): 703-716 (2018)
• 
  Miguel Campercholi:
  Dominions and Primitive positive Functions. J. Symb. Log. 83(1): 40-54 (2018)
• 
  Merlin Carl, Philipp Schlicht:
  Randomness via Infinite Computation and Effective Descriptive Set Theory. J. Symb. Log. 83(2): 766-789 (2018)
• 
  Olivier Carton, Thomas Colcombet, Gabriele Puppis:
  An Algebraic Approach to MSO-Definability on Countable linear Orderings. J. Symb. Log. 83(3): 1147-1189 (2018)
• 
  Gabriel Conant:
  There are no Intermediate Structures between the Group of Integers and Presburger Arithmetic. J. Symb. Log. 83(1): 187-207 (2018)
• 
  Sean Cox, John Krueger:
  Namba forcing, Weak Approximation, and Guessing. J. Symb. Log. 83(4): 1539-1565 (2018)
• 
  Harry Crane, Henry Towsner:
  Relatively exchangeable Structures. J. Symb. Log. 83(2): 416-442 (2018)
• 
  James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot:
  The eightfold Way. J. Symb. Log. 83(1): 349-371 (2018)
• 
  Giovanni Curi:
  Abstract Inductive and Co-Inductive Definitions. J. Symb. Log. 83(2): 598-616 (2018)
• 
  Raffaella Cutolo:
  Berkeley Cardinals and the Structure of l(Vδ+1). J. Symb. Log. 83(4): 1457-1476 (2018)
• 
  Luck Darnière, Immanuel Halupczok:
  Cell Decomposition and Classification of Definable Sets in P-Optimal Fields - Corrigendum. J. Symb. Log. 83(4): 1722 (2018)
• 
  Adam R. Day, Andrew S. Marks:
  Jump Operations for Borel graphs. J. Symb. Log. 83(1): 13-28 (2018)
• 
  Adrien Deloro, Joshua Wiscons:
  Simple Groups of Morley Rank 5 are Bad. J. Symb. Log. 83(3): 1217-1228 (2018)
• 
  Rod Downey, Jonathan Stephenson:
  Avoiding Effective Packing Dimension 1 below array Noncomputable C.E. Degrees. J. Symb. Log. 83(2): 717-739 (2018)
• 
  Roy Dyckhoff:
  Contraction-Free Sequent Calculi for intuitionistic Logic: a correction. J. Symb. Log. 83(4): 1680-1682 (2018)
• 
  Philip Ehrlich, Elliot Kaplan:
  Number Systems with Simplicity Hierarchies: a Generalization of Conway's Theory of surreal numbers II. J. Symb. Log. 83(2): 617-633 (2018)
• 
  Ali Enayat, Joel David Hamkins:
  Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes. J. Symb. Log. 83(1): 146-164 (2018)
• 
  Vera Fischer, Sy D. Friedman, Diego Alejandro Mejía, Diana Carolina Montoya:
  Coherent Systems of finite Support iterations. J. Symb. Log. 83(1): 208-236 (2018)
• 
  Tommaso Flaminio, Hykel Hosni, Franco Montagna:
  Strict Coherence on Many-Valued Events. J. Symb. Log. 83(1): 55-69 (2018)

skipping 58 more matches