• 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 4,985 matches

• 2024
• 
  Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra:
  Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. 89(1): 342-382 (2024)
• 
  Uri Andrews, Luca San Mauro:
  Investigating the Computable Friedman-Stanley jump. J. Symb. Log. 89(2): 918-944 (2024)
• 
  Guillermo Badia, Xavier Caicedo, Carles Noguera:
  Maximality of Logic without Identity. J. Symb. Log. 89(1): 147-162 (2024)
• 
  Omer Ben-Neria, Yair Hayut, Spencer Unger:
  Stationary Reflection and the Failure of the SCH. J. Symb. Log. 89(1): 1-26 (2024)
• 
  Vieri Benci, Lorenzo Luperi Baglini:
  Euclidean numbers and Numerosities. J. Symb. Log. 89(1): 112-146 (2024)
• 
  Tom Benhamou, Moti Gitik:
  On Cohen and Prikry forcing Notions. J. Symb. Log. 89(2): 858-904 (2024)
• 
  Guram Bezhanishvili, David Fernández-Duque:
  The Baire Closure and its Logic. J. Symb. Log. 89(1): 27-49 (2024)
• 
  Bertalan Bodor:
  Classification of -Categorical Monadically stable Structures. J. Symb. Log. 89(2): 460-495 (2024)
• 
  Will Brian:
  Partitioning the Real Line into Borel Sets. J. Symb. Log. 89(2): 549-568 (2024)
• 
  Carlos Caleiro, Sérgio Marcelino:
  Modular Many-Valued Semantics for combined Logics. J. Symb. Log. 89(2): 583-636 (2024)
• 
  Jonathan Cancino-Manríquez:
  -Ultrafilters in the rational Perfect Set Model. J. Symb. Log. 89(1): 175-194 (2024)
• 
  Yijia Chen, Jörg Flum:
  Forbidden induced subgraphs and the łOś-Tarski Theorem. J. Symb. Log. 89(2): 516-548 (2024)
• 
  Sean Cody:
  Note on implying. J. Symb. Log. 89(1): 211-217 (2024)
• 
  Bob A. Dumas:
  Discontinuous Homomorphisms of with. J. Symb. Log. 89(2): 665-696 (2024)
• 
  Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà:
  (Extra)ordinary Equivalences with the ascending/descending sequence Principle. J. Symb. Log. 89(1): 262-307 (2024)
• 
  Vera Fischer, Corey Bacal Switzer:
  Tight Eventually Different families. J. Symb. Log. 89(2): 697-723 (2024)
• 
  Peter Fritz:
  Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames. J. Symb. Log. 89(2): 758-793 (2024)
• 
  Andrey N. Frolov, Maxim V. Zubkov:
  The Simplest low linear order with no Computable Copies. J. Symb. Log. 89(1): 97-111 (2024)
• 
  Kentaro Fujimoto, Volker Halbach:
  Classical Determinate Truth I. J. Symb. Log. 89(1): 218-261 (2024)
• 
  Jakub Gismatullin:
  On Model-Theoretic Connected Groups. J. Symb. Log. 89(1): 50-79 (2024)
• 
  Mohammad Golshani, Saharon Shelah:
  Usuba's Principle can Fail at singular Cardinals. J. Symb. Log. 89(1): 195-203 (2024)
• 
  Mohammad Golshani, Reihane Zoghifard:
  Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. J. Symb. Log. 89(1): 163-174 (2024)
• 
  Tatsuya Goto:
  Keisler's Theorem and cardinal Invariants. J. Symb. Log. 89(2): 905-917 (2024)
• 
  Osvaldo Guzmán:
  Katětov order on MAD families. J. Symb. Log. 89(2): 794-828 (2024)
• 
  Mark Kamsma:
  Nsop-like Independence in Aecats. J. Symb. Log. 89(2): 724-757 (2024)
• 
  Samson Leung:
  Stability Results Assuming tameness, Monster Model, and Continuity of Nonsplitting. J. Symb. Log. 89(1): 383-425 (2024)
• 
  Maciej Malicki:
  Isomorphism of Locally Compact Polish Metric Structures. J. Symb. Log. 89(2): 646-664 (2024)
• 
  Maryanthe Malliaris, Saharon Shelah:
  The Turing Degrees and Keisler's order. J. Symb. Log. 89(1): 331-341 (2024)
• 
  Benoit Monin, Ludovic Patey:
  Partition Genericity and Pigeonhole Basis theorems. J. Symb. Log. 89(2): 829-857 (2024)
• 
  Robert Paßmann:
  The First-order Logic of CZF is intuitionistic First-order Logic. J. Symb. Log. 89(1): 308-330 (2024)

skipping 4,955 more matches