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

• 2018
• 
  Navin Aksornthong, Pimpen Vejjajiva:
  Relations between cardinalities of the finite sequences and the finite subsets of a set. Math. Log. Q. 64(6): 529-534 (2018)
• 
  Guillermo Badia, Andrew Tedder:
  On elimination of quantifiers in some non-classical mathematical theories. Math. Log. Q. 64(3): 140-154 (2018)
• 
  Mark Bickford:
  Connectedness of the continuum in intuitionistic mathematics. Math. Log. Q. 64(4-5): 387-394 (2018)
• 
  Will Brian:
  Which subsets of an infinite random graph look random? Math. Log. Q. 64(6): 478-486 (2018)
• 
  Quentin Brouette, Françoise Point:
  On differential Galois groups of strongly normal extensions. Math. Log. Q. 64(3): 155-169 (2018)
• 
  Sam Buss, Ramyaa Ramyaa:
  Short refutations for an equivalence-chain principle for constant-depth formulas. Math. Log. Q. 64(6): 505-513 (2018)
• 
  Sean D. Cox:
  On the universality of the nonstationary ideal. Math. Log. Q. 64(1-2): 103-117 (2018)
• 
  Hannes Diener, Matthew Hendtlass:
  Bishop's Lemma. Math. Log. Q. 64(1-2): 49-54 (2018)
• 
  Vincenzo Dimonte:
  Generic at. Math. Log. Q. 64(1-2): 118-132 (2018)
• 
  Gunter Fuchs:
  Subcomplete forcing principles and definable well-orders. Math. Log. Q. 64(6): 487-504 (2018)
• 
  Floris Geerts, Bart Kuijpers:
  Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space. Math. Log. Q. 64(6): 435-463 (2018)
• 
  Moti Gitik:
  A note on sequences witnessing singularity, following Magidor and Sinapova. Math. Log. Q. 64(3): 249-253 (2018)
• 
  Radek Honzik, Sárka Stejskalová:
  The tree property and the continuum function below. Math. Log. Q. 64(1-2): 89-102 (2018)
• 
  Tapani Hyttinen, Kaisa Kangas:
  Categoricity and universal classes. Math. Log. Q. 64(6): 464-477 (2018)
• 
  Katsumasa Ishii:
  A note on decidability of variables in intuitionistic propositional logic. Math. Log. Q. 64(3): 183-184 (2018)
• 
  Norihiro Kamide:
  Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Math. Log. Q. 64(4-5): 371-386 (2018)
• 
  Basil A. Karádais:
  Normal forms, linearity, and prime algebraicity over nonflat domains. Math. Log. Q. 64(1-2): 55-88 (2018)
• 
  Tatsuji Kawai:
  Formally continuous functions on Baire space. Math. Log. Q. 64(3): 192-200 (2018)
• 
  Kyriakos Keremedis:
  Two new equivalents of Lindelöf metric spaces. Math. Log. Q. 64(1-2): 37-43 (2018)
• 
  Karim Khanaki, Anand Pillay:
  Remarks on the NIP in a model. Math. Log. Q. 64(6): 429-434 (2018)
• 
  Ashutosh Kumar, Saharon Shelah:
  Clubs on quasi measurable cardinals. Math. Log. Q. 64(1-2): 44-48 (2018)
• 
  Dominique Lecomte, Miroslav Zelený:
  Universal and complete sets in martingale theory. Math. Log. Q. 64(4-5): 312-335 (2018)
• 
  Paolo Lipparini:
  Some transfinite natural sums. Math. Log. Q. 64(6): 514-528 (2018)
• 
  Philipp Lücke, Philipp Schlicht:
  Measurable cardinals and good -wellorderings. Math. Log. Q. 64(3): 207-217 (2018)
• 
  Mahya Malekghasemi, Seyed Mohammad Bagheri:
  Maximality of linear continuous logic. Math. Log. Q. 64(3): 185-191 (2018)
• 
  Jan Maly, Moritz Müller:
  A remark on pseudo proof systems and hard instances of the satisfiability problem. Math. Log. Q. 64(6): 418-428 (2018)
• 
  Pierre Matet:
  Scales with various kinds of good points. Math. Log. Q. 64(4-5): 349-370 (2018)
• 
  Arthur Milchior:
  Spectra and satisfiability for logics with successor and a unary function. Math. Log. Q. 64(4-5): 286-311 (2018)
• 
  J. Donald Monk:
  A large list of small cardinal characteristics of Boolean algebras. Math. Log. Q. 64(4-5): 336-348 (2018)
• 
  Florian Pelupessy:
  Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension. Math. Log. Q. 64(3): 178-182 (2018)

skipping 14 more matches