神秘
发表于 2025-3-25 03:56:43
http://reply.papertrans.cn/71/7037/703668/703668_21.png
虚情假意
发表于 2025-3-25 09:25:20
http://reply.papertrans.cn/71/7037/703668/703668_22.png
thrombosis
发表于 2025-3-25 14:04:04
Ordinal Analysis with an Introduction to Proof Theory
种子
发表于 2025-3-25 18:21:51
Logic in Asia: Studia Logica Libraryhttp://image.papertrans.cn/o/image/703668.jpg
installment
发表于 2025-3-25 21:40:30
http://reply.papertrans.cn/71/7037/703668/703668_25.png
不吉祥的女人
发表于 2025-3-26 02:40:54
Introduction,finition of the proof-theoretic ordinal. Our base theory, the elementary (recursive) arithmetic ., is introduced, and the Kripke–Platek set theory . is also defined. These materials are scattered in textbooks on logic.
Arable
发表于 2025-3-26 08:21:03
Collapsings,hich uncountable infinitary derivations and uncountable ordinals are collapsed down to countable ones. This is done through Mostowski collapsings of Skolem hulls as in the Condensation lemma, which is a key to prove the fact that the GCH (Generalized Continuum Hypothesis) holds in the constructible universe ..
Restenosis
发表于 2025-3-26 11:10:19
978-981-15-6461-1The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor
Biofeedback
发表于 2025-3-26 13:07:07
Ordinal Analysis with an Introduction to Proof Theory978-981-15-6459-8Series ISSN 2364-4613 Series E-ISSN 2364-4621
AUGUR
发表于 2025-3-26 18:45:48
Iterations,In this chapter we discuss straightforward extensions of results in Chap. 4, which are obtained by iterating cut-elimination procedures for first-order arithmetic.