|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/16083
|
| タイトル: | The strength of SCT soundness |
| 著者: | Frittaion, Emanuele
Pelupessy, Florian
Steila, Silvia
Yokoyama, Keita |
| キーワード: | Ramsey's theorem for pairs
Size-change termination
Reverse Mathematics
Soundness
Well-ordering principles |
| 発行日: | 2018-02-22 |
| 出版者: | Oxford University Press |
| 誌名: | Journal of Logic and Computation |
| 巻: | 28 |
| 号: | 6 |
| 開始ページ: | 1217 |
| 終了ページ: | 1242 |
| DOI: | 10.1093/logcom/exy003 |
| 抄録: | In this paper we continue the study, from Frittaion, Steila and Yokoyama (2017), on size-change termination in the context of Reverse Mathematics. We analyse the soundness of the SCT method. In particular, we prove that the statement ‘any programme which satisfies the combinatorial condition provided by the SCT criterion is terminating’ is equivalent to WO(ω_3) over RCA_0. |
| Rights: | (c) The Author, 2018. Published by Oxford University Press. This is a pre-copy-editing, author-produced PDF of an article accepted for publication in JOURNAL OF LOGIC AND COMPUTATION following peer review. The definitive publisher-authenticated version JOURNAL OF LOGIC AND COMPUTATION (2018) 28(6): 1217-1242 is available online at: http://dx.doi.org/10.1093/logcom/exy003 |
| URI: | http://hdl.handle.net/10119/16083 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 24549.pdf | | 412Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
