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

• 2004
• 
  Joan Bagaria, Roger Bosch:
  Proper forcing extensions and Solovay models. Arch. Math. Log. 43(6): 739-750 (2004)
• 
  Stefano Baratella, Andrea Masini:
  An approach to infinitary temporal proof theory. Arch. Math. Log. 43(8): 965-990 (2004)
• 
  George Barmpalias:
  Approximation Representations for ?₂ Reals. Arch. Math. Log. 43(8): 947-964 (2004)
• 
  Itay Ben-Yaacov, Alexander Berenstein:
  Imaginaries in Hilbert spaces. Arch. Math. Log. 43(4): 459-466 (2004)
• 
  Stephen Binns, Stephen G. Simpson:
  Embeddings into the Medvedev and Muchnik lattices of pi⁰₁classes. Arch. Math. Log. 43(3): 399-414 (2004)
• 
  Robert Bonnet, Matatyahu Rubin:
  On poset Boolean algebras of scattered posets with finite width. Arch. Math. Log. 43(4): 467-476 (2004)
• 
  Maxim R. Burke, Masaru Kada:
  Hechler's theorem for the null ideal. Arch. Math. Log. 43(5): 703-722 (2004)
• 
  Xavier Caicedo:
  Definability and automorphisms in abstract logics. Arch. Math. Log. 43(8): 937-946 (2004)
• 
  Wesley Calvert:
  The isomorphism problem for classes of computable fields. Arch. Math. Log. 43(3): 327-336 (2004)
• 
  Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  On the quantifier complexity of bigtriangleup_n+1 (T)? induction. Arch. Math. Log. 43(3): 371-398 (2004)
• 
  Rumen D. Dimitrov:
  Quasimaximality and principal filters isomorphism between. Arch. Math. Log. 43(3): 415-424 (2004)
• 
  Alfred Dolich:
  Weak dividing, chain conditions, and simplicity. Arch. Math. Log. 43(2): 265-283 (2004)
• 
  Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic:
  Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Arch. Math. Log. 43(4): 557-564 (2004)
• 
  Mirna Dzamonja, Saharon Shelah:
  On the existence of universal models. Arch. Math. Log. 43(7): 901-936 (2004)
• 
  Jonas Eliasson:
  Ultrapowers as sheaves on a category of ultrafilters. Arch. Math. Log. 43(7): 825-844 (2004)
• 
  Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
  Induction, minimization and collection for Delta_n+1(T)-formulas. Arch. Math. Log. 43(4): 505-542 (2004)
• 
  Adriana Galli, Renato A. Lewin, Marta Sagastume:
  The logic of equilibrium and abelian lattice ordered groups. Arch. Math. Log. 43(2): 141-158 (2004)
• 
  George Georgescu, Andrei Popescu:
  Non-dual fuzzy connections. Arch. Math. Log. 43(8): 1009-1039 (2004)
• 
  Matthew B. Giorgi:
  The computably enumerable degrees are locally non-cappable. Arch. Math. Log. 43(1): 121-139 (2004)
• 
  Masahiro Hamano:
  Softness of MALL proof-structures and a correctness criterion with Mix. Arch. Math. Log. 43(6): 751-794 (2004)
• 
  Rostislav Horcík, Petr Cintula:
  Product L ukasiewicz Logic. Arch. Math. Log. 43(4): 477-504 (2004)
• 
  Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
  On potential isomorphism and non-structure. Arch. Math. Log. 43(1): 85-120 (2004)
• 
  George Kafkoulis:
  Coding lemmata in L. Arch. Math. Log. 43(2): 193-214 (2004)
• 
  Iraj Kalantari, Larry Welch:
  A blend of methods of recursion theory and topology: A Pi₁⁰ tree of shadow points. Arch. Math. Log. 43(8): 991-1008 (2004)
• 
  Bernhard König:
  Generic compactness reformulated. Arch. Math. Log. 43(3): 311-326 (2004)
• 
  Roman Kossak:
  A note on a theorem of Kanovei. Arch. Math. Log. 43(4): 565-569 (2004)
• 
  Jan Krajícek:
  Combinatorics of first order structures and propositional proof systems. Arch. Math. Log. 43(4): 427-441 (2004)
• 
  Ingo Lepper:
  Simply terminating rewrite systems with long derivations. Arch. Math. Log. 43(1): 1-18 (2004)
• 
  Andrew Lewis:
  Finite cupping sets. Arch. Math. Log. 43(7): 845-858 (2004)
• 
  Xuhua Li:
  Largest E-thin, E-invariant sets below bigtriangleup¹ ₃. Arch. Math. Log. 43(5): 681-690 (2004)

skipping 21 more matches