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

• 2017
• 
  Nathanael L. Ackerman, Cameron E. Freer, Aleksandra Kwiatkowska, Rehana Patel:
  A classification of orbits admitting a unique invariant measure. Ann. Pure Appl. Log. 168(1): 19-36 (2017)
• 
  Eric P. Astor, Damir D. Dzhafarov, Reed Solomon, Jacob Suggs:
  The uniform content of partial and linear orders. Ann. Pure Appl. Log. 168(6): 1153-1171 (2017)
• 
  Valentin Blot:
  Realizability for Peano arithmetic with winning conditions in HON games. Ann. Pure Appl. Log. 168(2): 254-277 (2017)
• 
  Will Boney, Rami P. Grossberg:
  Forking in short and tame abstract elementary classes. Ann. Pure Appl. Log. 168(8): 1517-1551 (2017)
• 
  Will Boney, Rami P. Grossberg, Monica M. VanDieren, Sebastien Vasey:
  Superstability from categoricity in abstract elementary classes. Ann. Pure Appl. Log. 168(7): 1383-1395 (2017)
• 
  Andrey Bovykin, Andreas Weiermann:
  The strength of infinitary Ramseyan principles can be accessed by their densities. Ann. Pure Appl. Log. 168(9): 1700-1709 (2017)
• 
  Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder:
  Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. Ann. Pure Appl. Log. 168(8): 1605-1608 (2017)
• 
  Ari Meir Brodsky, Assaf Rinot:
  A microscopic approach to Souslin-tree constructions, Part I. Ann. Pure Appl. Log. 168(11): 1949-2007 (2017)
• 
  Andrew D. Brooke-Taylor, Vera Fischer, Sy-David Friedman, Diana Carolina Montoya:
  Cardinal characteristics at κ in a small u(κ) model. Ann. Pure Appl. Log. 168(1): 37-49 (2017)
• 
  Leonardo Manuel Cabrer, Daniele Mundici:
  Germinal theories in Łukasiewicz logic. Ann. Pure Appl. Log. 168(5): 1132-1151 (2017)
• 
  Enrique Casanovas, Luis Jaime Corredor:
  Orbits of subsets of the monster model and geometric theories. Ann. Pure Appl. Log. 168(12): 2152-2163 (2017)
• 
  Erin Caulfield:
  On expansions of the real field by complex subgroups. Ann. Pure Appl. Log. 168(6): 1308-1334 (2017)
• 
  David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner:
  Ceres in intuitionistic logic. Ann. Pure Appl. Log. 168(10): 1783-1836 (2017)
• 
  Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt:
  Clustered cell decomposition in P-minimal structures. Ann. Pure Appl. Log. 168(11): 2050-2086 (2017)
• 
  William Chan:
  The countable admissible ordinal equivalence relation. Ann. Pure Appl. Log. 168(6): 1224-1246 (2017)
• 
  Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui:
  Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. 168(3): 693-737 (2017)
• 
  Gabriel Conant:
  Distance structures for generalized metric spaces. Ann. Pure Appl. Log. 168(3): 622-650 (2017)
• 
  Gabriel Conant:
  Neostability in countable homogeneous metric spaces. Ann. Pure Appl. Log. 168(7): 1442-1471 (2017)
• 
  S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare:
  Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151]. Ann. Pure Appl. Log. 168(12): 2164-2165 (2017)
• 
  Sean Cox, Philipp Lücke:
  Characterizing large cardinals in terms of layered posets. Ann. Pure Appl. Log. 168(5): 1112-1131 (2017)
• 
  Luck Darnière:
  Polytopes and simplexes in p-adic fields. Ann. Pure Appl. Log. 168(6): 1284-1307 (2017)
• 
  Jacob Davis:
  Universal graphs at N__ω+1. Ann. Pure Appl. Log. 168(10): 1878-1901 (2017)
• 
  Françoise Delon, Patrick Simonetta:
  Abelian C-minimal valued groups. Ann. Pure Appl. Log. 168(9): 1729-1782 (2017)
• 
  Jan Dobrowolski, Byunghan Kim, Junguk Lee:
  The Lascar groups and the first homology groups in model theory. Ann. Pure Appl. Log. 168(12): 2129-2151 (2017)
• 
  Michal Doucha:
  Erratum to: "Scott rank of Polish metric spaces" [Ann. Pure Appl. Logic 165 (12) (2014) 1919-1929]. Ann. Pure Appl. Log. 168(7): 1490 (2017)
• 
  Ali Enayat, Tin Lok Wong:
  Unifying the model theory of first-order and second-order arithmetic via. Ann. Pure Appl. Log. 168(6): 1247-1283 (2017)
• 
  Yun Fan:
  A uniform version of non-low₂-ness. Ann. Pure Appl. Log. 168(3): 738-748 (2017)
• 
  Stephen Flood:
  Ordinals and graph decompositions. Ann. Pure Appl. Log. 168(4): 824-839 (2017)
• 
  Anton Freund:
  Proof lengths for instances of the Paris-Harrington principle. Ann. Pure Appl. Log. 168(7): 1361-1382 (2017)
• 
  Anton Freund:
  Slow reflection. Ann. Pure Appl. Log. 168(12): 2103-2128 (2017)

skipping 49 more matches