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

• 2006
• 
  Alan Baker:
  Book Review: Charles S. Chihara. A Structural Account of Mathematics. Notre Dame J. Formal Log. 47(3): 435-442 (2006)
• 
  John Baldwin, David W. Kueker, Monica Van Dieren:
  Upward Stability Transfer for Tame Abstract Elementary Classes. Notre Dame J. Formal Log. 47(2): 291-298 (2006)
• 
  George Barmpalias, Andrew E. M. Lewis:
  A C.E. Real That Cannot Be SW-Computed by Any Ω Number. Notre Dame J. Formal Log. 47(2): 197-209 (2006)
• 
  George Barmpalias, Andrew E. M. Lewis:
  The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees. Notre Dame J. Formal Log. 47(3): 361-370 (2006)
• 
  O. Bradley Bassler:
  Book Review: Mark van Atten. On Brouwer. Notre Dame J. Formal Log. 47(4): 581-599 (2006)
• 
  Alexander Berenstein, Ziv Shami:
  Invariant Version of Cardinality Quantifiers in Superstable Theories. Notre Dame J. Formal Log. 47(3): 343-351 (2006)
• 
  Josef Berger, Peter Schuster:
  Classifying Dini's Theorem. Notre Dame J. Formal Log. 47(2): 253-262 (2006)
• 
  Jennifer Brown:
  Cellularity of Pseudo-Tree Algebras. Notre Dame J. Formal Log. 47(3): 353-359 (2006)
• 
  Kai Brünnler:
  Locality for Classical Logic. Notre Dame J. Formal Log. 47(4): 557-580 (2006)
• 
  Sam Butchart, Tomasz Kowalski:
  A Note on Monothetic BCI. Notre Dame J. Formal Log. 47(4): 541-544 (2006)
• 
  Nathan C. Carter:
  Reflexive Intermediate Propositional Logics. Notre Dame J. Formal Log. 47(1): 39-62 (2006)
• 
  Janusz Ciuciura:
  A Quasi-Discursive System ND₂⁺. Notre Dame J. Formal Log. 47(3): 371-384 (2006)
• 
  Barbara F. Csima, Antonio Montalbán, Richard A. Shore:
  Boolean Algebras, Tarski Invariants, and Index Sets. Notre Dame J. Formal Log. 47(1): 1-23 (2006)
• 
  Evan Goris:
  Interpolation and the Interpretability Logic of PA. Notre Dame J. Formal Log. 47(2): 179-195 (2006)
• 
  Nicolas Guzy, Cédric Rivière:
  Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields. Notre Dame J. Formal Log. 47(3): 331-341 (2006)
• 
  Joel David Hamkins, Alexei Miasnikov:
  The Halting Problem Is Decidable on a Set of Asymptotic Probability One. Notre Dame J. Formal Log. 47(4): 515-524 (2006)
• 
  Ian M. Hodkinson:
  Hybrid Formulas and Elementarily Generated Modal Logics. Notre Dame J. Formal Log. 47(4): 443-478 (2006)
• 
  Lloyd Humberstone:
  Variations on a Theme of Curry. Notre Dame J. Formal Log. 47(1): 101-131 (2006)
• 
  Hajime Ishihara:
  Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. Notre Dame J. Formal Log. 47(2): 249-252 (2006)
• 
  Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin:
  An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. Notre Dame J. Formal Log. 47(1): 63-71 (2006)
• 
  Alexei D. Kolesnikov, G. V. N. G. Krishnamurthi:
  Morley Rank in Homogeneous Models. Notre Dame J. Formal Log. 47(3): 319-329 (2006)
• 
  Steffen Lempp, Carl Mummert:
  Filters on Computable Posets. Notre Dame J. Formal Log. 47(4): 479-485 (2006)
• 
  Gert-Jan C. Lokhorst:
  Andersonian Deontic Logic, Propositional Quantification, and Mally. Notre Dame J. Formal Log. 47(3): 385-395 (2006)
• 
  Benedikt Löwe:
  Set Theory With and Without Urelements and Categories of Interpretations. Notre Dame J. Formal Log. 47(1): 83-91 (2006)
• 
  Uwe Lück:
  Continu'ous Time Goes by Russell. Notre Dame J. Formal Log. 47(3): 397-434 (2006)
• 
  Patrick Maher:
  Book Review: David Christensen. Putting Logic in its Place: Formal Constraints on Rational Belief. Notre Dame J. Formal Log. 47(1): 133-149 (2006)
• 
  Ulrich Meyer:
  Worlds and Times. Notre Dame J. Formal Log. 47(1): 25-37 (2006)
• 
  Chris Miller, James Tyne:
  Expansions of o-Minimal Structures by Iteration Sequences. Notre Dame J. Formal Log. 47(1): 93-99 (2006)
• 
  Alexei Y. Muravitsky:
  The Embedding Theorem: Its Further Developments and Consequences. Part 1. Notre Dame J. Formal Log. 47(4): 525-540 (2006)
• 
  Paulo Oliva:
  Unifying Functional Interpretations. Notre Dame J. Formal Log. 47(2): 263-290 (2006)

skipping 8 more matches