1
Published 1978
Springer Berlin Heidelberg
Table of Contents: ... -- Constructive universes I -- The evolution of large cardinal axioms in set theory -- Forcing in analysis...

2
Published 1981
Springer Berlin Heidelberg
Table of Contents: ...Various kinds of Aronszajn tree with no subtree of a different kind -- On set theories in toposes...