Frittaion, Emanuele; Steila, Silvia; Yokoyama, Keita (2017). The Strength of the SCT Criterion. In: Gopal, T.V.; Jäger, Gerhard; Steila, Silvia (eds.) Theory and Applications of Models of Computation - 14th Annual Conference, {TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Lecture Notes in Computer Science: Vol. 10185 (pp. 260-273). Cham: Springer International Publishing 10.1007/978-3-319-55911-7_19
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
fsy17.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (300kB) |
We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion [9, Theorem 4] is equivalent to IΣ02 over RCA₀.
Item Type: |
Book Section (Book Chapter) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) |
UniBE Contributor: |
Steila, Silvia |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISBN: |
978-3-319-55910-0 |
Series: |
Lecture Notes in Computer Science |
Publisher: |
Springer International Publishing |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
18 Aug 2017 08:36 |
Last Modified: |
05 Dec 2022 15:06 |
Publisher DOI: |
10.1007/978-3-319-55911-7_19 |
BORIS DOI: |
10.7892/boris.101458 |
URI: |
https://boris.unibe.ch/id/eprint/101458 |
Actions (login required)
 |
Edit item |