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

• 2018
• 
  A. Alibek, Bektur Sembiuly Baizhanov, Beibut Sh. Kulpeshov, T. S. Zambarnaya:
  Vaught's conjecture for weakly o-minimal theories of convexity rank 1. Ann. Pure Appl. Log. 169(11): 1190-1209 (2018)
• 
  Uri Andrews, Andrea Sorbi:
  Jumps of computably enumerable equivalence relations. Ann. Pure Appl. Log. 169(3): 243-259 (2018)
• 
  Sylvy Anscombe, Franziska Jahnke:
  Henselianity in the language of rings. Ann. Pure Appl. Log. 169(9): 872-895 (2018)
• 
  Toshiyasu Arai:
  Cut-elimination for ω₁. Ann. Pure Appl. Log. 169(12): 1246-1269 (2018)
• 
  Mohammad Ardeshir, S. Mojtaba Mojtahedi:
  The Σ₁-provability logic of HA. Ann. Pure Appl. Log. 169(10): 997-1043 (2018)
• 
  Steve Awodey:
  A cubical model of homotopy type theory. Ann. Pure Appl. Log. 169(12): 1270-1294 (2018)
• 
  Logan M. Axon:
  Martin-Löf random generalized Poisson processes. Ann. Pure Appl. Log. 169(4): 261-276 (2018)
• 
  Saeideh Bahrami, Ali Enayat:
  Elementary equivalence of rings with finitely generated additive groups. Ann. Pure Appl. Log. 169(6): 487-513 (2018)
• 
  Amitayu Banerjee, Mohamed Khaled:
  First order logic without equality on relativized semantics. Ann. Pure Appl. Log. 169(11): 1227-1242 (2018)
• 
  Tibor Beke, Jirí Rosický:
  Elementary equivalences and accessible functors. Ann. Pure Appl. Log. 169(7): 674-703 (2018)
• 
  Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini:
  Tarski's theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Log. 169(5): ii (2018)
• 
  Alexander C. Block, Benedikt Löwe:
  A multiplication operation for the hierarchy of norms. Ann. Pure Appl. Log. 169(7): 656-673 (2018)
• 
  Adam Brandenburger, H. Jerome Keisler:
  A canonical hidden-variable space. Ann. Pure Appl. Log. 169(12): 1295-1302 (2018)
• 
  Merlin Carl, Philipp Schlicht, Philip D. Welch:
  Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Ann. Pure Appl. Log. 169(4): 312-332 (2018)
• 
  Brian A. Davey, Jane G. Pitkethly, Ross Willard:
  New-from-old full dualities via axiomatisation. Ann. Pure Appl. Log. 169(7): 588-615 (2018)
• 
  Bruno Dinis, Jaime Gaspar:
  Intuitionistic nonstandard bounded modified realisability and functional interpretation. Ann. Pure Appl. Log. 169(5): 392-412 (2018)
• 
  Rod Downey, Keng Meng Ng:
  Splitting into degrees with low computational strength. Ann. Pure Appl. Log. 169(8): 803-834 (2018)
• 
  Rob Egrot:
  No finite axiomatizations for posets embeddable into distributive lattices. Ann. Pure Appl. Log. 169(3): 235-242 (2018)
• 
  David Fernández-Duque, Joost J. Joosten:
  The omega-rule interpretation of transfinite provability logic. Ann. Pure Appl. Log. 169(4): 333-371 (2018)
• 
  Gilda Ferreira:
  Atomic polymorphism and the existence property. Ann. Pure Appl. Log. 169(12): 1303-1316 (2018)
• 
  Silvio Ghilardi, Alessandro Gianola:
  Modularity results for interpolation, amalgamation and superamalgamation. Ann. Pure Appl. Log. 169(8): 731-754 (2018)
• 
  Shokoofeh Ghorbani:
  Logic for abstract hoop twist-structures. Ann. Pure Appl. Log. 169(10): 981-996 (2018)
• 
  M. Giraudet, G. Leloup, F. Lucas:
  First order theory of cyclically ordered groups. Ann. Pure Appl. Log. 169(9): 896-927 (2018)
• 
  Victoria Gitman, Ralf Schindler:
  Virtual large cardinals. Ann. Pure Appl. Log. 169(12): 1317-1334 (2018)
• 
  Steven Givant, Hajnal Andréka:
  A representation theorem for measurable relation algebras. Ann. Pure Appl. Log. 169(11): 1117-1189 (2018)
• 
  Mohammad Golshani, Rahman Mohammadpour:
  The tree property at double successors of singular cardinals of uncountable cofinality. Ann. Pure Appl. Log. 169(2): 164-175 (2018)
• 
  Vassilios Gregoriades:
  The Dyck and the Preiss separation uniformly. Ann. Pure Appl. Log. 169(10): 1082-1116 (2018)
• 
  Levon Haykazyan, Rahim Moosa:
  Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. Ann. Pure Appl. Log. 169(8): 705-730 (2018)
• 
  Philipp Hieronymi, Travis Nell, Erik Walsberg:
  Wild theories with o-minimal open core. Ann. Pure Appl. Log. 169(2): 146-163 (2018)
• 
  Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl:
  Preface. Ann. Pure Appl. Log. 169(12): 1243-1245 (2018)

skipping 26 more matches