Steila, Silvia

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2019 | 2018 | 2017 | 2016

2019

Jäger, Gerhard; Steila, Silvia (2019). From Mathesis Universalis to fixed points and related set-theoretic concepts. In: Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M. (eds.) Mathesis Universalis, Computability and Proof, Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science: Vol. 412 (pp. 113-129). Cham: Springer 10.1007/978-3-030-20447-1_9

2018

Oliva, Paulo; Steila, Silvia (2018). A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. The journal of symbolic logic, 83(1), pp. 70-83. Cambridge University Press 10.1017/jsl.2017.33

Jäger, Gerhard; Steila, Silvia (2018). About some fixed point axioms and related principles in Kripke-Platek environments. The journal of symbolic logic, 83(02), pp. 642-668. Cambridge University Press 10.1017/jsl.2018.12

Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita (2018). The strength of SCT soundness. Journal of logic and computation, 28(6), pp. 1217-1242. Oxford University Press 10.1093/logcom/exy003

2017

Berardi, Stefano; Steila, Silvia (2017). Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic. The journal of symbolic logic, 82(02), pp. 737-753. Cambridge University Press 10.1017/jsl.2016.41

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

Gopal, T.V.; Jäger, Gerhard; Steila, Silvia (eds.) (2017). Theory and Applications of Models of Computation TAMC 2017. Lecture Notes in Computer Science: Vol. 10185. Cham: Springer International Publishing 10.1007/978-3-319-55911-7

Audrito, Giorgio; Steila, Silvia (2017). Generic Large Cardinals and Systems of Filters. The journal of symbolic logic, 82(03), pp. 860-892. Cambridge University Press 10.1017/jsl.2017.27

2016

Steila, Silvia; Yokoyama, Keita (2016). Reverse mathematical bounds for the Termination Theorem. Annals of pure and applied logic, 167(12), pp. 1213-1241. Elsevier 10.1016/j.apal.2016.06.001

Provide Feedback