notion
发表于 2025-3-25 05:18:18
http://reply.papertrans.cn/83/8244/824349/824349_21.png
disciplined
发表于 2025-3-25 10:39:48
Lecture Notes in Mathematicshttp://image.papertrans.cn/r/image/824349.jpg
Vertical
发表于 2025-3-25 12:16:46
https://doi.org/10.1007/BFb0076211Arithmetic; computability theory; function; ordinal; recursion; set theory; theorem; turing degree
reception
发表于 2025-3-25 16:00:31
http://reply.papertrans.cn/83/8244/824349/824349_24.png
痴呆
发表于 2025-3-25 22:45:09
,Recursion theory on strongly Σ2 inadmissible ordinals,
利用
发表于 2025-3-26 03:10:08
Applications of the low-basis theorem in arithmetic,
Meager
发表于 2025-3-26 06:16:14
http://reply.papertrans.cn/83/8244/824349/824349_27.png
束以马具
发表于 2025-3-26 11:38:47
http://reply.papertrans.cn/83/8244/824349/824349_28.png
auxiliary
发表于 2025-3-26 16:02:09
,Measure, Π 1 0 -classes and complete extensions of PA,
极大痛苦
发表于 2025-3-26 20:45:17
http://reply.papertrans.cn/83/8244/824349/824349_30.png