상세 보기
A Note on Kruskal's Theorem
- 이계식;
- 나현숙
초록
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.
키워드
Kruskal’s theorem; Friedman-style miniaturization; Unprovability; (∏^1_2 - BI)_0; 크루스칼 정리; 프리드먼 방식의 소형화; 증명 불가능성; (∏^1_2 - BI)_0
- 제목
- A Note on Kruskal's Theorem
- 저자
- 이계식; 나현숙
- 발행일
- 2012-10
- 저널명
- 논리연구
- 권
- 15
- 호
- 3
- 페이지
- 307 ~ 321
- 언어
- ENG
- 출판사
- 한국논리학회
- 발행국가
- 대한민국
- 분량
- 15 페이지
- ISSN
- P 1598-7493