논리연구 (Korean Journal of Logic)
- 제15권3호
- /
- Pages.307-322
- /
- 2012
- /
- 1598-7493(pISSN)
A Note on Kruskal's Theorem
- Lee, Gyesik (Department of Computer & Web Information Engineering, Hankyong National University) ;
- Na, Hyeon-Suk (School of Computing, Soongsil University)
- 투고 : 2012.05.18
- 심사 : 2012.09.19
- 발행 : 2012.10.30
초록
프리드먼에 의해 제안된 "크루스칼 정리의 소형화 정리"가 2차 페아노 공리체계의 부분 시스템인
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
키워드