Annals of Pure and Applied Logic, Volume 106

Volume 106, Number 1-3, 1 December 2000

• Klaus Ambos-Spies, Denis R. Hirschfeldt, Richard A. Shore:
  Undecidability and 1-types in intervals of the computably enumerable degrees. 1-47
  
• Olivier Lessmann:
  Ranks and pregeometries in finite diagrams. 49-82
  
• Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
  Decidable fragment of first-order temporal logics. 85-134
  
• Paul Larson:
  Martin's Maximum and the P_maxaxiom(*). 135-149
  
• Itay Neeman:
  Unraveling Pi¹₁. 151-205
  
• Heike Mildenberger, Saharon Shelah:
  Changing cardinal characteristics without changing Omega-sequences or cofinalities. 207-260
  
• Hirotaka Kikyo, Anand Pillay:
  The definable multiplicity property and generic automorphisms. 263-273
  
• Athanassios Tzouvaras:
  Notions of symmetry n set theory with classes. 275-295
  

Last update Tue Feb 14 04:14:08 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page