Annals of Pure and Applied Logic
, Volume 120
Volume 120, Number 1-3, 15 April 2003
James Hirschorn
: Summable gaps. 1-63
BibTeX
Lorenzo Tortora de Falco
: The additive mutilboxes. 65-102
BibTeX
Evgueni Vassiliev
: Generic pairs of SU-rank 1 structures. 103-149
BibTeX
Robert Saxon Milnikel
: The complexity of predicate default logic over a countable domain. 151-163
BibTeX
Sergei Tupailo
: Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe. 165-196
BibTeX
Arnold Beckmann
,
Chris Pollett
,
Samuel R. Buss
: Ordinal notations and well-orderings in bounded arithmetic. 197-223
BibTeX
Milos S. Kurilic
: Changing cofinalities and collapsing cardinals in models of set theory. 225-236
BibTeX
Simon Thomas
: Superrigidity and countable Borel equivalence relations. 237-262
BibTeX
Michael C. Laskowski
,
Saharon Shelah
: Karp complexity and classes with the independence property. 263-283
BibTeX
Copyright ©
Sat May 16 23:50:45 2009 by
Michael Ley
(
ley@uni-trier.de
)