Annals of Pure and Applied Logic, Volume 160

Volume 160, Number 1, July 2009

• Richard Garner:
  On the strength of dependent products in the type theory of Martin-Löf. 1-12
  
• Thomas F. Kent:
  The structure of the s-degrees contained within a single e-degree. 13-21
  
• James Cummings, Matthew Foreman, Ernest Schimmerling:
  Organic and tight. 22-32
  
• Gerhard Jäger:
  Full operational set theory with unbounded existential quantification and power set. 33-52
  
• Petr Cintula, Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna, Carles Noguera:
  Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. 53-81
  
• Kai Brünnler, Thomas Studer:
  Syntactic cut-elimination for common knowledge. 82-95
  
• Philip Kremer:
  Dynamic topological S5. 96-116
  
• Milos S. Kurilic, Boris Sobot:
  A game on Boolean algebras describing the collapse of the continuum. 117-126
  
• Vincent Astier:
  Erratum to: "Some model-theoretic results in the algebraic theory of quadratic forms" [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223]. 127-128