Transfinite Induction and Hierarchies Generated by Transfinite Recursion within Peano Arithmetic

Author:

Richard D. Sommer

Robert M. Solovay

Publication date:

May 1, 1990

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathLogic topic page, PhD-year-1990 topic page