Annals of Pure and Applied Logic, Volume 139

Volume 139, Numbers 1-3, May 2006

• Antonio Montalbán:
  Equivalence between Fraïssé's conjecture and Jullien's theorem. 1-42
  Electronic Edition (link) BibTeX
• Danièle Beauquier, Anatol Slissenko:
  Periodicity based decidable classes in a first order timed logic. 43-73
  Electronic Edition (link) BibTeX
• Oleg Pikhurko, Joel Spencer, Oleg Verbitsky:
  Succinct definitions in the first order theory of graphs. 74-109
  Electronic Edition (link) BibTeX
• Tapani Hyttinen, Olivier Lessmann:
  Simplicity and uncountable categoricity in excellent classes. 110-137
  Electronic Edition (link) BibTeX
• Jeremy Avigad, Ksenija Simic:
  Fundamental notions of analysis in subsystems of second-order arithmetic. 138-184
  Electronic Edition (link) BibTeX
• Stefano Berardi:
  Some intuitionistic equivalents of classical principles for degree 2 formulas. 185-200
  Electronic Edition (link) BibTeX
• Marko Djordjevic:
  The finite submodel property and omega-categorical expansions of pregeometries. 201-229
  Electronic Edition (link) BibTeX
• T. Mellor:
  Imaginaries in real closed valued fields. 230-279
  Electronic Edition (link) BibTeX
• Mirna Dzamonja, Saharon Shelah:
  On properties of theories which preclude the existence of universal models. 280-302
  Electronic Edition (link) BibTeX
• John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer:
  Generality's price: Inescapable deficiencies in machine-learned programs. 303-326
  Electronic Edition (link) BibTeX
• Paul Corazza:
  The spectrum of elementary embeddings j: V->V. 327-399
  Electronic Edition (link) BibTeX