Annals of Pure and Applied Logic, Volume 120

Volume 120, Number 1-3, 15 April 2003

• James Hirschorn: Summable gaps. 1-63
• Lorenzo Tortora de Falco: The additive mutilboxes. 65-102
• Evgueni Vassiliev: Generic pairs of SU-rank 1 structures. 103-149
• Robert Saxon Milnikel: The complexity of predicate default logic over a countable domain. 151-163
• Sergei Tupailo: Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe. 165-196
• Arnold Beckmann, Chris Pollett, Samuel R. Buss: Ordinal notations and well-orderings in bounded arithmetic. 197-223
• Milos S. Kurilic: Changing cofinalities and collapsing cardinals in models of set theory. 225-236
• Simon Thomas: Superrigidity and countable Borel equivalence relations. 237-262
• Michael C. Laskowski, Saharon Shelah: Karp complexity and classes with the independence property. 263-283