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

• 1994
• 
  Christopher J. Ash:
  A Conjecture Concerning the Spectrum of a Sentence. Math. Log. Q. 40: 393-397 (1994)
• 
  Christopher J. Ash, Julia F. Knight:
  A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas. Math. Log. Q. 40: 173-181 (1994)
• 
  John T. Baldwin, Masanori Itai:
  K-generic Projective Planes have Morley Rank Two or Infinity. Math. Log. Q. 40: 143-152 (1994)
• 
  Bernhard Banaschewski:
  A New Proof that "Krull implies Zorn". Math. Log. Q. 40: 478-480 (1994)
• 
  John L. Bell:
  Fregean Extensions of First-Order Theories. Math. Log. Q. 40: 27-30 (1994)
• 
  Teresa Bigorajska:
  Universal Induction and True Universal Arithmetic. Math. Log. Q. 40: 103-105 (1994)
• 
  Douglas S. Bridges, Hajime Ishihara:
  Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40: 35-43 (1994)
• 
  Douglas S. Bridges, Hajime Ishihara:
  Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40: 519-527 (1994)
• 
  Stanley Burris:
  Model Companions with Finitely Many Countable Models. Math. Log. Q. 40: 141-142 (1994)
• 
  Adam Cichon, Wilfried Buchholz, Andreas Weiermann:
  A Uniform Approach to Fundamental Sequences and Hierarchies. Math. Log. Q. 40: 273-286 (1994)
• 
  Marcel Crabbé:
  The Hauptsatz for Stratified Comprehension: A Semantic Proof. Math. Log. Q. 40: 481-489 (1994)
• 
  J. W. Degen:
  Some Aspects and Examples of Infinity Notions. Math. Log. Q. 40: 111-124 (1994)
• 
  Michael Deutsch:
  A Note on the Theorems of Church-Turing and Trachtenbrot. Math. Log. Q. 40: 422-424 (1994)
• 
  Karl-Heinz Diener:
  A Remark an Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices. Math. Log. Q. 40: 415-421 (1994)
• 
  Decheng Ding, Klaus Ambos-Spies:
  Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. Math. Log. Q. 40: 287-317 (1994)
• 
  Christine Gaßner:
  The Axiom of Choice in Second-Order Predicate Logic. Math. Log. Q. 40: 533-546 (1994)
• 
  Giangiacomo Gerla:
  An Extension Principle for Fuzzy Logics. Math. Log. Q. 40: 357-380 (1994)
• 
  Daniel Gluschankof:
  The Elementary Classes of Direct and Boolean Products. Math. Log. Q. 40: 191-203 (1994)
• 
  Frieder Haug:
  On Preservation of Stability for Finite Extensions of Abelian Groups. Math. Log. Q. 40: 14-26 (1994)
• 
  Armin Hemmerling:
  Navigation Without Perception of Coordinates and Distances. Math. Log. Q. 40: 237-260 (1994)
• 
  Makoto Kikuchi:
  A Note on Boolos' Proof of the Incompleteness Theorem. Math. Log. Q. 40: 528-532 (1994)
• 
  Friederike Körner:
  Cofinal Indiscernibles and some Applications to New Foundations. Math. Log. Q. 40: 347-356 (1994)
• 
  Olga Kosheleva, Vladik Kreinovich:
  An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? Math. Log. Q. 40: 31-34 (1994)
• 
  Andrei A. Kuzichev:
  Translations of Logical Formulas and the Equiconsistency Problem. Math. Log. Q. 40: 44-50 (1994)
• 
  Claude Laflamme:
  Bonnding and Dominating Number of Families of Functions on ω. Math. Log. Q. 40: 207-223 (1994)
• 
  Larry Mathews:
  Completions of Convexly Ordered Valuation Rings. Math. Log. Q. 40: 318-330 (1994)
• 
  Larry Mathews:
  Hilbert's 17th Problem for Real Closed Rings. Math. Log. Q. 40: 445-454 (1994)
• 
  André Nies:
  Recursively Enumerable Equivalence Relations Modulo Finite Differences. Math. Log. Q. 40: 490-518 (1994)
• 
  Hirokazu Nishimura:
  Boolean Valued and Stone Algebra Valued Measure Theories. Math. Log. Q. 40: 69-75 (1994)
• 
  Antonio Di Nola, Lawrence Peter Belluce, Salvatore Sessa:
  The Prime Spectrum of an MV-Algebra. Math. Log. Q. 40: 331-346 (1994)

skipping 20 more matches