Volume 146, Number 1, April 2007

• 
  Pedro A. Guil Asensio, Ivo Herzog: Model-theoretic aspects of Sigma-cotorsion modules. 1-12
• 
  Anand Pillay: Imaginaries in pairs of algebraically closed fields. 13-20
• 
  Brian Wynne: Decidable theories of non-projectable l-groups of continuous functions. 21-39
• 
  Benno van den Berg, Federico De Marchi: Non-well-founded trees in categories. 40-59
• 
  Michael A. Warren: Coalgebras in a category of classes. 60-71
• 
  Pavel Hrubes: A lower bound for intuitionistic logic. 72-90
• 
  Guohua Wu: Intervals containing exactly one c.e. degree. 91-102

Volume 146, Numbers 2-3, May 2007

• 
  Giovanni Curi: Exact approximations to Stone-Cech compactification. 103-123
• 
  Dan E. Willard: Passive induction and a solution to a Paris-Wilkie open question. 124-149
• 
  David Asperó: Guessing and non-guessing of canonical functions. 150-179
• 
  Fairouz Kamareddine, Karim Nour: A completeness result for a realisability semantics for an intersection type system. 180-198
• 
  Kentaro Sato: Double helix in large large cardinals and iteration of elementary embeddings. 199-236
• 
  Kosta Dosen, Zoran Petric: Medial commutativity. 237-255

last updated on Sat May 18 05:48:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page