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

• 2005
• 
  Hajnal Andréka, Judit X. Madarász, István Németi:
  Mutual definability does not imply definitional equivalence, a simple example. Math. Log. Q. 51(6): 591-597 (2005)
• 
  Arthur W. Apter:
  Removing Laver functions from supercompactness arguments. Math. Log. Q. 51(2): 154-156 (2005)
• 
  Arthur W. Apter:
  An Easton theorem for level by level equivalence. Math. Log. Q. 51(3): 247-253 (2005)
• 
  Arthur W. Apter:
  Universal partial indestructibility and strong compactness. Math. Log. Q. 51(5): 524-531 (2005)
• 
  Günter Asser, Armin Hemmerling:
  Letter from the outgoing Managing Editor/Letter from the new Managing Editor. Math. Log. Q. 51(1): 3-4 (2005)
• 
  Serikzhan A. Badaev, Dieter Spreen:
  A note on partial numberings. Math. Log. Q. 51(2): 129-136 (2005)
• 
  Bernhard Banaschewski:
  Excluded Middle versus Choice in a topos. Math. Log. Q. 51(3): 282-284 (2005)
• 
  Joseph Barback:
  Corrigendum to "Regressive isols and comparability". Math. Log. Q. 51(6): 643 (2005)
• 
  Arnold Beckmann, Jan Johannsen:
  An unexpected separation result in Linearly Bounded Arithmetic. Math. Log. Q. 51(2): 191-200 (2005)
• 
  Josef Berger:
  Exact calculation of inverse functions. Math. Log. Q. 51(2): 201-205 (2005)
• 
  Josef Berger, Hajime Ishihara:
  Brouwer's fan theorem and unique existence in constructive analysis. Math. Log. Q. 51(4): 360-364 (2005)
• 
  Vasco Brattka:
  Effective Borel measurability and reducibility of functions. Math. Log. Q. 51(1): 19-44 (2005)
• 
  Cristian S. Calude, Ludwig Staiger:
  Generalisations of disjunctive sequences. Math. Log. Q. 51(2): 120-128 (2005)
• 
  Lorenzo Carlucci:
  Worms, gaps, and hydras. Math. Log. Q. 51(4): 342-350 (2005)
• 
  Enrique Casanovas, Rodrigo Peláez:
  |T|⁺-resplendent models and the Lascar group. Math. Log. Q. 51(6): 626-631 (2005)
• 
  Sergio A. Celani, Ramon Jansana:
  Bounded distributive lattices with strict implication. Math. Log. Q. 51(3): 219-246 (2005)
• 
  Douglas Cenzer, Farzan Riazati:
  Minimal extensions of Pi⁰₁ classes. Math. Log. Q. 51(2): 206-216 (2005)
• 
  S. Barry Cooper, Andrew E. M. Lewis, Yue Yang:
  Properly Sigma₂ minimal degrees and 0'' complementation. Math. Log. Q. 51(3): 274-276 (2005)
• 
  Thierry Coquand, Bas Spitters:
  A constructive proof of the Peter-Weyl theorem. Math. Log. Q. 51(4): 351-359 (2005)
• 
  Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  Fragments of Arithmetic and true sentences. Math. Log. Q. 51(3): 313-328 (2005)
• 
  Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis:
  Properties of the real line and weak forms of the Axiom of Choice. Math. Log. Q. 51(6): 598-609 (2005)
• 
  Mário J. Edmundo:
  A remark on divisibility of definable groups. Math. Log. Q. 51(6): 639-641 (2005)
• 
  Sy D. Friedman:
  Definability degrees. Math. Log. Q. 51(5): 448-449 (2005)
• 
  Sakaé Fuchino, Greg Piper:
  Destructibility of stationary subsets of P_kappalambda. Math. Log. Q. 51(6): 560-569 (2005)
• 
  Joel David Hamkins, W. Hugh Woodin:
  The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal. Math. Log. Q. 51(5): 493-498 (2005)
• 
  Bin He:
  A high dimensional Open Coloring Axiom. Math. Log. Q. 51(5): 462-469 (2005)
• 
  Peter Hertling:
  Is the Mandelbrot set computable? Math. Log. Q. 51(1): 5-18 (2005)
• 
  Paul E. Howard:
  If vector spaces are projective modules then multiple choice holds. Math. Log. Q. 51(2): 187-190 (2005)
• 
  Tapani Hyttinen:
  Locally modular geometries in homogeneous structures. Math. Log. Q. 51(3): 291-298 (2005)
• 
  Masanori Itai, Kentaro Wakai:
  omega-saturated quasi-minimal models of Th(Q^omega, +, sigma, 0). Math. Log. Q. 51(3): 258-262 (2005)

skipping 39 more matches