Recursive Mathematics Volume 1 Recursive Model Theory part2
Hyperarithmetictheoryisthefirststepbeyondclassicalrecursiontheory.Itistheprimarysourceofideasandexamplesinhigherrecursiontheory.Itisalsoacrossroadforseveralareasofmathematicallogic:insettheoryitisaninitialsegmentofGodel'sL;inmodeltheory,theleastadmissiblesetafter;indescript
下载地址
用户评论
