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

• 2014
• 
  Uri Andrews, Peter M. Gerdes, Joseph S. Miller:
  The degrees of bi-hyperhyperimmune sets. Ann. Pure Appl. Log. 165(3): 803-811 (2014)
• 
  Sergei N. Artëmov, Roman Kuznets:
  Logical omniscience as infeasibility. Ann. Pure Appl. Log. 165(1): 6-25 (2014)
• 
  Arnon Avron:
  What is relevance logic? Ann. Pure Appl. Log. 165(1): 26-48 (2014)
• 
  Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher:
  Relating first-order set theories, toposes and categories of classes. Ann. Pure Appl. Log. 165(2): 428-502 (2014)
• 
  Liliana Badillo, Charles M. Harris:
  Avoiding uniformity in the Δ₂⁰ enumeration degrees. Ann. Pure Appl. Log. 165(9): 1355-1379 (2014)
• 
  Alexandru Baltag, Bryan Renne, Sonja Smets:
  The logic of justified belief, explicit knowledge, and conclusive evidence. Ann. Pure Appl. Log. 165(1): 49-81 (2014)
• 
  Lev D. Beklemishev:
  Positive provability logic for uniform reflection principles. Ann. Pure Appl. Log. 165(1): 82-105 (2014)
• 
  Johan van Benthem, David Fernández-Duque, Eric Pacuit:
  Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165(1): 106-133 (2014)
• 
  Nick Bezhanishvili, Silvio Ghilardi:
  The bounded proof property via step algebras and step frames. Ann. Pure Appl. Log. 165(12): 1832-1863 (2014)
• 
  Laurent Bienvenu, Andrei E. Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren:
  The axiomatic power of Kolmogorov complexity. Ann. Pure Appl. Log. 165(9): 1380-1402 (2014)
• 
  Jörg Brendle, Dilip Raghavan:
  Bounding, splitting, and almost disjointness. Ann. Pure Appl. Log. 165(2): 631-651 (2014)
• 
  Alex Brik, Jeffrey B. Remmel:
  Hybrid Answer Set Programming. Ann. Pure Appl. Log. 165(1): 134-163 (2014)
• 
  Leonardo Manuel Cabrer, José Gil-Férez:
  Leibniz interpolation properties. Ann. Pure Appl. Log. 165(4): 933-962 (2014)
• 
  Mingzhong Cai:
  2-Minimality, jump classes and a note on natural definability. Ann. Pure Appl. Log. 165(2): 724-741 (2014)
• 
  Xavier Caicedo, José Iovino:
  Omitting uncountable types and the strength of [0, 1]-valued logics. Ann. Pure Appl. Log. 165(6): 1169-1200 (2014)
• 
  Merlin Carl:
  The distribution of ITRM-recognizable reals. Ann. Pure Appl. Log. 165(9): 1403-1417 (2014)
• 
  Artem Chernikov:
  Theories without the tree property of the second kind. Ann. Pure Appl. Log. 165(2): 695-723 (2014)
• 
  Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman:
  Generics for computable Mathias forcing. Ann. Pure Appl. Log. 165(9): 1418-1428 (2014)
• 
  Brent Cody, Menachem Magidor:
  On supercompactness and the continuum function. Ann. Pure Appl. Log. 165(2): 620-630 (2014)
• 
  Robert L. Constable, Mark Bickford:
  Intuitionistic completeness of first-order logic. Ann. Pure Appl. Log. 165(1): 164-198 (2014)
• 
  S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe:
  Turing Centenary Conference: How the World Computes. Ann. Pure Appl. Log. 165(9): 1353-1354 (2014)
• 
  Andrés Cordón-Franco, Francisco Félix Lara Martín:
  Local induction and provably total computable functions. Ann. Pure Appl. Log. 165(9): 1429-1444 (2014)
• 
  Stefan S. Dantchev, Barnaby Martin:
  Relativization makes contradictions harder for Resolution. Ann. Pure Appl. Log. 165(3): 837-857 (2014)
• 
  Walter Dean, Hidenori Kurokawa:
  The Paradox of the Knower revisited. Ann. Pure Appl. Log. 165(1): 199-224 (2014)
• 
  Jamshid Derakhshan, Angus Macintyre:
  Some supplements to Feferman-Vaught related to the model theory of adeles. Ann. Pure Appl. Log. 165(11): 1639-1679 (2014)
• 
  Michal Doucha:
  Scott rank of Polish metric spaces. Ann. Pure Appl. Log. 165(12): 1919-1929 (2014)
• 
  Christopher J. Eagle:
  Omitting types for infinitary [0,1]-valued logic. Ann. Pure Appl. Log. 165(3): 913-932 (2014)
• 
  Clifton F. Ealy, Alf Onshuus:
  Consistent amalgamation for þ-forking. Ann. Pure Appl. Log. 165(2): 503-519 (2014)
• 
  Sebastian Eberhard:
  A feasible theory of truth over combinatory algebra. Ann. Pure Appl. Log. 165(5): 1009-1033 (2014)
• 
  Andreas Fischer:
  Approximation of o-minimal maps satisfying a Lipschitz condition. Ann. Pure Appl. Log. 165(3): 787-802 (2014)

skipping 54 more matches