Recursive Mathematics - Volume 1 Recursive Model Theory
Hyperarithmetictheoryisthefirststepbeyondclassicalrecursiontheory.Itistheprimarysourceofideasandexamplesinhigherrecursiontheory.Itisalsoacrossroadforseveralareasofmathematicallogic:insettheoryitisaninitialsegmentofGodel'sL;inmodeltheory,theleastadmissiblesetafter;indescript
用户评论