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

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