1
Published 2006
Birkhäuser
Table of Contents: ...-Coherence Classes of Ultrafilters is Either Finite or -- Stable Axioms of Set Theory -- Forcing with Finite...

2
Published 1998
Springer Netherlands
Table of Contents: ... approach to set theory genealogy -- Recurrent points and hyperarithmetic sets -- A tree-arrowing graph -- A...