Report copyright - Mathematical Logic...And Sects. 5 and 6 are devoted to the Friedberg–Muchnik theorem and the Splitting theorem respectively and prove they hold in any model of KP− + 1-Foundation
Please pass captcha verification before submit form