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

• 2020
• 
  Thomas Powell:
  A note on the finitization of Abelian and Tauberian theorems. Math. Log. Q. 66(3): 300-310 (2020)
• 
  Arthur W. Apter:
  On weak square, approachability, the tree property, and failures of SCH in a choiceless context. Math. Log. Q. 66(1): 115-120 (2020)
• 
  Amitayu Banerjee:
  Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse. Math. Log. Q. 66(3): 259-279 (2020)
• 
  Stefano Baratella, Andrea Masini:
  A two-dimensional metric temporal logic. Math. Log. Q. 66(1): 7-19 (2020)
• 
  Andrea Cantini:
  A fixed point theory over stratified truth. Math. Log. Q. 66(4): 380-394 (2020)
• 
  John D. Clemens, Samuel Coskey, Samuel Dworetzky:
  The classification of countable models of set theory. Math. Log. Q. 66(2): 182-189 (2020)
• 
  Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar, Ignacio D. Viglizzo:
  A note on chain-based semi-Heyting algebras. Math. Log. Q. 66(4): 409-417 (2020)
• 
  Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi:
  The choice property in tame expansions of o-minimal structures. Math. Log. Q. 66(2): 239-246 (2020)
• 
  Rachel Epstein, Karen M. Lange:
  Agreement reducibility. Math. Log. Q. 66(4): 448-465 (2020)
• 
  Monroe Eskew:
  On a strengthening of Jónssonness for א_ω. Math. Log. Q. 66(2): 235-238 (2020)
• 
  Johanna N. Y. Franklin, Reed Solomon:
  Lowness for isomorphism, countable ideals, and computable traceability. Math. Log. Q. 66(1): 104-114 (2020)
• 
  Anton Freund:
  A note on ordinal exponentiation and derivatives of normal functions. Math. Log. Q. 66(3): 326-335 (2020)
• 
  Anton Freund:
  What is effective transfinite recursion in reverse mathematics? Math. Log. Q. 66(4): 479-483 (2020)
• 
  Lorna Gregory, Sonia L'Innocente, Carlo Toffalori:
  The torsion-free part of the Ziegler spectrum of orders over Dedekind domains. Math. Log. Q. 66(1): 20-36 (2020)
• 
  Clovis Hamel, Haim Horowitz, Saharon Shelah:
  Turing invariant sets and the perfect set property. Math. Log. Q. 66(2): 247-250 (2020)
• 
  Zvonko Iljazovic:
  Computability of graphs. Math. Log. Q. 66(1): 51-64 (2020)
• 
  Masaru Kada, Souji Shizuma:
  Strategic equivalence among hat puzzles of various protocols with many colors. Math. Log. Q. 66(3): 295-299 (2020)
• 
  Karim Khanaki:
  Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces. Math. Log. Q. 66(2): 136-149 (2020)
• 
  Michal Korch, Tomasz Weiss:
  Special subsets of the generalized Cantor space and generalized Baire space. Math. Log. Q. 66(4): 418-437 (2020)
• 
  Thomas G. Kucera, Marcos Mazari-Armida:
  On universal modules with pure embeddings. Math. Log. Q. 66(4): 395-408 (2020)
• 
  Giorgio Laguzzi, Brendan Stuber-Rousselle:
  More on trees and Cohen reals. Math. Log. Q. 66(2): 173-181 (2020)
• 
  Nathanaël Mariaule:
  Expansions of the p-adic numbers that interpret the ring of integers. Math. Log. Q. 66(1): 82-90 (2020)
• 
  Stefano Mazzanti:
  New substitution bases for complexity classes. Math. Log. Q. 66(1): 37-50 (2020)
• 
  Mayra Montalvo-Ballesteros, John Kenneth Truss:
  Surjectively rigid chains. Math. Log. Q. 66(4): 466-478 (2020)
• 
  Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg:
  Singly generated quasivarieties and residuated structures. Math. Log. Q. 66(2): 150-172 (2020)
• 
  Satoru Niki:
  Decidable variables for constructive logics. Math. Log. Q. 66(4): 484-493 (2020)
• 
  Paulo Oliva, Chuangjie Xu:
  On the Herbrand functional interpretation. Math. Log. Q. 66(1): 91-98 (2020)
• 
  Tin Perkov, Luka Mikec:
  Existential definability of modal frame classes. Math. Log. Q. 66(3): 316-325 (2020)
• 
  Jonas Reitz:
  Cohen forcing and inner models. Math. Log. Q. 66(1): 65-72 (2020)
• 
  Valentino Delle Rose, Luca San Mauro, Andrea Sorbi:
  Word problems and ceers. Math. Log. Q. 66(3): 341-354 (2020)

skipping 22 more matches