Annals of Pure and Applied Logic, Volume 109

Volume 109, Number 1-2, 15 May 2001

• Antonín Sochor: Petr Vopenka (^* 16.5.1935). 1-8
• Karel Hrbacek:
  Realism, nonstandard set theory, and large cardinals. 15-48
  
• Samuel R. Buss, Pavel Pudlák:
  On the computational content of intuitionistic propositional proofs. 49-63
  
• Petr Hájek, John C. Shepherdson:
  A note on the notion of truth in fuzzy logic. 65-69
  
• Péter Komjáth:
  Three clouds may cover the plane. 71-75
  
• Andreas Blass:
  Needed reals and recursion in generic reals. 77-88
  
• Jindrich Zapletal:
  Terminal notions in set theory. 89-116
  
• Menachem Kojman, Saharon Shelah:
  Fallen cardinals. 117-129
  
• Bohuslav Balcar, Petr Simon:
  The name for Kojman-shelah collapsing function. 131-137
  

Volume 109, Number 3, 30 May 2001

• Gerhard Jäger, Reinhard Kahle, Thomas Studer:
  Universes in explicit mathematics. 141-162
  
• Claudio Bernardi:
  Fixed points and unfounded chains. 163-178
  
• David Asperó, Joan Bagaria:
  Bounded forcing axioms and the continuum. 179-203
  
• Antonio Bucciarelli, Thomas Ehrhard:
  On phase semantics and denotational semantics: the exponentials. 205-241
  

Last update Sun May 19 23:49:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page