The Strength of the SCT Criterion

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] 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 Edit item
Provide Feedback