Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
A Note on Kruskal's Theorem
- Issue Date
- Oct-2012
- Publisher
- 한국논리학회
- Keywords
- Kruskal’s theorem; Friedman-style miniaturization; Unprovability; (∏^1_2 - BI)_0; 크루스칼 정리; 프리드먼 방식의 소형화; 증명 불가능성; (∏^1_2 - BI)_0
- Citation
- 논리연구, v.15, no.3, pp.307 - 321
- Journal Title
- 논리연구
- Volume
- 15
- Number
- 3
- Start Page
- 307
- End Page
- 321
- ISSN
- 1598-7493
- Abstract
- It is demonstrated that there is a simple, canonical way to show the independency of the Friedman-style miniaturization of Kruskal's theorem with respect to (∏^1_2 - BI)_0. This is done by a non-trivial combination of some well-known, non-trivial previous works concerning directly or indirectly the (proof-theoretic) strength of Kruskal's theorem.
- Files in This Item
- Go to Link
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Related Researcher
- Na, Hyeon-Suk
- College of Information Technology (School of Computer Science and Engineering)