Journal: Annals of Pure and Applied Logic

Volume 129, Issue 1-3

1 -- 37Emil Jerábek. Dual weak pigeonhole principle, Boolean complexity, and derandomization
39 -- 92Toshiyasu Arai. Proof theory for theories of ordinals II: Pi::3::-reflection
93 -- 106Stefano Berardi, Silvio Valentini. Krivine s intuitionistic proof of classical completeness (for countable languages)
131 -- 148Martin Grohe, Stefan Wöhrle. An existential locality theorem
149 -- 162Ziv Shami. Internality and interpretable automorphism groups in simple theories
163 -- 180Liang Yu, Decheng Ding, Rodney G. Downey. The Kolmogorov complexity of random reals
181 -- 210Pilar Dellunde, Françoise Delon, Françoise Point. The theory of modules of separably closed fields 2
211 -- 243James Cummings, Matthew Foreman, Menachem Magidor. Canonical structure in the universe of set theory: part one
245 -- 275Carsten Butz. Saturated models of intuitionistic theories