Table of Contents

A stationary-tower-free proof of the derived model theorem(10-17from Advances in Logic)