Autonomous fixed point progressions and fixed point transfinite recursion

TitleAutonomous fixed point progressions and fixed point transfinite recursion
Publication TypeConference Paper
Year of Publication2000
AuthorsStrahm, T
EditorBuss, SS, Hajek, P, Pudlak, P
Conference NameProceedings of Logic Colloquium '98
Pagination449-464
PublisherAK Peters
URLhttp://www.iam.unibe.ch/ltgpub/2000/str00a.pdf