Journal: Annals of Pure and Applied Logic

Volume 120, Issue 1-3

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