Perspectives in Logic

The Perspectives in Logic series publishes substantial, high-quality books whose central theme lies in any area or aspect of logic. Books that present new material not now available in book form are particularly welcome. The series ranges from introductory texts suitable for beginning graduate courses to specialized monographs at the frontiers of research. Each book offers an illuminating perspective for its intended audience.

Chapter II: The Hyperarithmetic Hierarchy

Sacks, Gerald E., et al. (1990)

Chapter XI: Applications to Algebra

Eklof, P. C., et al. (1985)

Appendix: Nonstandard Compactness Arguments and the Admissible Cover

Barwise, Jon, et al. (1975)

Chapter V: Bounded Arithmetic

Hájek, Petr, et al. (1998)

Chapter III: $\Sigma^1_1$ Predicates of Reals

Sacks, Gerald E., et al. (1990)