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

• 2015
• 
  Nathanael Leedom Ackerman:
  Vaught's Conjecture Without Equality. Notre Dame J. Formal Log. 56(4): 573-582 (2015)
• 
  David R. Bélanger:
  Weak Truth Table Degrees of Structures. Notre Dame J. Formal Log. 56(2): 263-285 (2015)
• 
  Luís Cruz-Filipe, Fernando Ferreira:
  The Finitistic Consistency of Heck's Predicative Fregean System. Notre Dame J. Formal Log. 56(1): 61-79 (2015)
• 
  Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip D. Welch:
  Introduction. Notre Dame J. Formal Log. 56(1): 1-2 (2015)
• 
  Isaac Goldbring, Vinicius Cifú Lopes:
  Pseudofinite and Pseudocompact Metric Structures. Notre Dame J. Formal Log. 56(3): 493-510 (2015)
• 
  Joel David Hamkins:
  Is the Dream Solution of the Continuum Hypothesis Attainable? Notre Dame J. Formal Log. 56(1): 135-145 (2015)
• 
  Harold T. Hodes:
  Why Ramify? Notre Dame J. Formal Log. 56(2): 379-415 (2015)
• 
  Tapani Hyttinen:
  Forking in Finite Models. Notre Dame J. Formal Log. 56(2): 307-320 (2015)
• 
  Daisuke Ikegami, Jouko Väänänen:
  Boolean-Valued Second-Order Logic. Notre Dame J. Formal Log. 56(1): 167-190 (2015)
• 
  Hunter Johnson:
  Vapnik-Chervonenkis Density on Indiscernible Sequences, Stability, and the Maximum Property. Notre Dame J. Formal Log. 56(4): 583-593 (2015)
• 
  Juliette Kennedy, Saharon Shelah, Jouko Väänänen:
  Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. 56(3): 417-428 (2015)
• 
  Laurence Kirby:
  Ordinal Exponentiations of Sets. Notre Dame J. Formal Log. 56(3): 449-462 (2015)
• 
  Michael C. Laskowski:
  Characterizing Model Completeness Among Mutually Algebraic Structures. Notre Dame J. Formal Log. 56(3): 463-470 (2015)
• 
  A. R. D. Mathias, Nathan J. Bowler:
  Rudimentary Recursion, Gentle Functions and Provident Sets. Notre Dame J. Formal Log. 56(1): 3-60 (2015)
• 
  Toby Meadows:
  Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections. Notre Dame J. Formal Log. 56(1): 191-212 (2015)
• 
  Jonathan Payne:
  Extensionalizing Intensional Second-Order Logic. Notre Dame J. Formal Log. 56(1): 243-261 (2015)
• 
  Brian Rice:
  The Thin Set Theorem for Pairs Implies DNR. Notre Dame J. Formal Log. 56(4): 595-601 (2015)
• 
  Lynn Scow:
  Indiscernibles, EM-Types, and Ramsey Classes of Trees. Notre Dame J. Formal Log. 56(3): 429-447 (2015)
• 
  Philip Scowcroft:
  More on Generic Dimension Groups. Notre Dame J. Formal Log. 56(4): 511-553 (2015)
• 
  Takahiro Seki:
  Halldén Completeness for Relevant Modal Logics. Notre Dame J. Formal Log. 56(2): 333-350 (2015)
• 
  Andrea Sorbi, Sebastiaan A. Terwijn:
  Generalizations of the Weak Law of the Excluded Middle. Notre Dame J. Formal Log. 56(2): 321-331 (2015)
• 
  Sergey Sudoplatov, Predrag Tanovic:
  Semi-Isolation and the Strict Order Property. Notre Dame J. Formal Log. 56(4): 555-572 (2015)
• 
  Hsing-chien Tsai:
  On the Decidability of Axiomatized Mereotopological Theories. Notre Dame J. Formal Log. 56(2): 287-306 (2015)
• 
  Gabriel Uzquiano:
  Varieties of Indefinite Extensibility. Notre Dame J. Formal Log. 56(1): 147-166 (2015)
• 
  Jouko A. Väänänen, Tong Wang:
  Internal Categoricity in Arithmetic and Set Theory. Notre Dame J. Formal Log. 56(1): 121-134 (2015)
• 
  Albert Visser:
  The Arithmetics of a Theory. Notre Dame J. Formal Log. 56(1): 81-119 (2015)
• 
  George Voutsadakis:
  Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions. Notre Dame J. Formal Log. 56(2): 351-378 (2015)
• 
  Philip D. Welch:
  Large Cardinals, Inner Models, and Determinacy: An Introductory Overview. Notre Dame J. Formal Log. 56(1): 213-242 (2015)
• 
  Tin Lok Wong:
  Constant Regions in Models of Arithmetic. Notre Dame J. Formal Log. 56(4): 603-624 (2015)
• 
  Eunsuk Yang:
  Substructural Fuzzy-Relevance Logic. Notre Dame J. Formal Log. 56(3): 471-491 (2015)