• 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,896 matches

• 2023
• 
  Joan Bagaria, Alejandro Poveda:
  More on the Preservation of Large Cardinals Under Class Forcing. J. Symb. Log. 88(1): 290-323 (2023)
• 
  Joan Bagaria, Trevor M. Wilson:
  The Weak Vopenka Principle for Definable Classes of Structures. J. Symb. Log. 88(1): 145-168 (2023)
• 
  Guram Bezhanishvili, Kristina Brantley, Julia Ilin:
  Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. J. Symb. Log. 88(1): 427-467 (2023)
• 
  Piotr Borodulin-Nadzieja, Damian Sobota:
  On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem. J. Symb. Log. 88(1): 191-218 (2023)
• 
  Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert:
  Algebraic Expansions of Logics. J. Symb. Log. 88(1): 74-92 (2023)
• 
  Logan Crone, Lior Fishman, Stephen Jackson:
  Determinacy of Schmidt?s Game and Other Intersection Games. J. Symb. Log. 88(1): 1-21 (2023)
• 
  Masato Fujita:
  Locally O-Minimal Structures With Tame Topological Properties. J. Symb. Log. 88(1): 219-241 (2023)
• 
  Nicola Gambino, Marco Federico Larrea:
  Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. J. Symb. Log. 88(1): 242-289 (2023)
• 
  Moti Gitik, Eyal Kaplan:
  On Restrictions of Ultrafilters From Generic Extensions To Ground Models. J. Symb. Log. 88(1): 169-190 (2023)
• 
  Ramon Jansana, Tommaso Moraschini:
  The Poset of All Logics II: Leibniz Classes and Hierarchy. J. Symb. Log. 88(1): 324-362 (2023)
• 
  Sato Kentaro, Jan Walker:
  Finitist Axiomatic Truth. J. Symb. Log. 88(1): 22-73 (2023)
• 
  Michael C. Laskowski, Douglas S. Ulrich:
  Most(?) Theories Have Borel Complete Reducts. J. Symb. Log. 88(1): 418-426 (2023)
• 
  Michael Loesch:
  Additive Covers and the Canonical Base Property. J. Symb. Log. 88(1): 118-144 (2023)
• 
  Marcos Mazari-Armida:
  Some Stable Non-Elementary Classes of Modules. J. Symb. Log. 88(1): 93-117 (2023)
• 
  George Metcalfe, Luca Reggio:
  Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. J. Symb. Log. 88(1): 381-417 (2023)
• 
  Saharon Shelah, Lajos Soukup:
  On κ-Homogeneous, but Not κ-Transitive Permutation Groups. J. Symb. Log. 88(1): 363-380 (2023)
• 2022
• 
  Dylan Airey, Steve Jackson, Bill Mance:
  Descriptive Complexity in Cantor Series. J. Symb. Log. 87(3): 1023-1045 (2022)
• 
  Rachael Alvir, Hannah Burchfield, Julia F. Knight:
  Copying One of a Pair of Structures. J. Symb. Log. 87(3): 1201-1214 (2022)
• 
  Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar:
  Interpreting a field in its Heisenberg Group. J. Symb. Log. 87(3): 1215-1230 (2022)
• 
  Uri Andrews, Andrea Sorbi:
  Initial Segments of the Degrees of Ceers. J. Symb. Log. 87(3): 1260-1282 (2022)
• 
  Arthur W. Apter:
  Indestructibility when the First two Measurable Cardinals are strongly Compact. J. Symb. Log. 87(1): 214-227 (2022)
• 
  David Asperó, Miguel Angel Mota:
  Retraction - Measuring Club-sequences Together with the continuum Large. J. Symb. Log. 87(2): 870 (2022)
• 
  Matthias Baaz, Richard Zach:
  Epsilon theorems in Intermediate Logics. J. Symb. Log. 87(2): 682-720 (2022)
• 
  Alessandro Berarducci, Marcello Mamino:
  Asymptotic Analysis of Skolem's exponential Functions. J. Symb. Log. 87(2): 758-782 (2022)
• 
  Guram Bezhanishvili, Luca Carai, Patrick J. Morandi:
  Modal Operators on Rings of Continuous Functions. J. Symb. Log. 87(4): 1322-1348 (2022)
• 
  Joseph Boudou, Martín Diéguez, David Fernández-Duque:
  Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. 87(3): 995-1022 (2022)
• 
  Samuel Braunfeld, Michael C. Laskowski:
  Counting siblings in Universal Theories. J. Symb. Log. 87(3): 1130-1155 (2022)
• 
  Jörg Brendle, Francesco Parente:
  Combinatorics of Ultrafilters on Cohen and Random Algebras. J. Symb. Log. 87(1): 109-126 (2022)
• 
  Hunter Chase, James Freitag:
  Model Theory and Combinatorics of banned sequences. J. Symb. Log. 87(1): 1-20 (2022)
• 
  Eugenio Colla, Domenico Zambella:
  Ramsey's Coheirs. J. Symb. Log. 87(1): 377-391 (2022)

skipping 4,866 more matches