×
Edit Profile (opens in new tab)

Steila, Silvia

Co-Author Distance
Author ID: steila.silvia Recent zbMATH articles by "Steila, Silvia"
Published as: Steila, Silvia
Documents Indexed: 16 Publications since 2014, including 1 Additional arXiv Preprint
1 Contribution as Editor
Co-Authors: 9 Co-Authors with 14 Joint Publications
139 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
5 Berardi, Stefano
3 Jäger, Gerhard
3 Yokoyama, Keita
2 Audrito, Giorgio
2 Frittaion, Emanuele
2 Oliva, Paulo
1 Gopal, T. V.
1 Pelupessy, Florian
1 Viale, Matteo

Serials

4 The Journal of Symbolic Logic
2 Annals of Pure and Applied Logic
2 Journal of Logic and Computation
1 Fundamenta Mathematicae
1 Lecture Notes in Computer Science

Fields

16 Mathematical logic and foundations (03-XX)
9 Combinatorics (05-XX)
4 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 39 times in 26 Documents Cited by ▼ Year ▼
Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic. Zbl 1359.03045
Berardi, Stefano; Steila, Silvia
7
2014
A direct proof of Schwichtenberg’s bar recursion closure theorem. Zbl 1406.03059
Oliva, Paulo; Steila, Silvia
6
2018
An intuitionistic version of Ramsey’s theorem and its use in program termination. Zbl 1378.03050
Berardi, Stefano; Steila, Silvia
5
2015
About some fixed point axioms and related principles in Kripke-Platek environments. Zbl 1469.03139
Jäger, Gerhard; Steila, Silvia
5
2018
Reverse mathematical bounds for the termination theorem. Zbl 1402.03023
Steila, Silvia; Yokoyama, Keita
5
2016
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. Zbl 1444.03140
Berardi, Stefano; Oliva, Paulo; Steila, Silvia
4
2019
An intuitionistic analysis of size-change termination. Zbl 1369.68156
Steila, Silvia
2
2015
Generic large cardinals and systems of filters. Zbl 1422.03111
Audrito, Giorgio; Steila, Silvia
1
2017
Ramsey’s theorem for pairs and \(k\) colors as a sub-classical principle of arithmetic. Zbl 1419.03055
Berardi, Stefano; Steila, Silvia
1
2017
Ramsey theorem as an intuitionistic property of well founded relations. Zbl 1417.03299
Berardi, Stefano; Steila, Silvia
1
2014
Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Zbl 1360.68012
1
2017
From mathesis universalis to fixed points and related set-theoretic concepts. Zbl 1469.03140
Jäger, Gerhard; Steila, Silvia
1
2019
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. Zbl 1444.03140
Berardi, Stefano; Oliva, Paulo; Steila, Silvia
4
2019
From mathesis universalis to fixed points and related set-theoretic concepts. Zbl 1469.03140
Jäger, Gerhard; Steila, Silvia
1
2019
A direct proof of Schwichtenberg’s bar recursion closure theorem. Zbl 1406.03059
Oliva, Paulo; Steila, Silvia
6
2018
About some fixed point axioms and related principles in Kripke-Platek environments. Zbl 1469.03139
Jäger, Gerhard; Steila, Silvia
5
2018
Generic large cardinals and systems of filters. Zbl 1422.03111
Audrito, Giorgio; Steila, Silvia
1
2017
Ramsey’s theorem for pairs and \(k\) colors as a sub-classical principle of arithmetic. Zbl 1419.03055
Berardi, Stefano; Steila, Silvia
1
2017
Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Zbl 1360.68012
1
2017
Reverse mathematical bounds for the termination theorem. Zbl 1402.03023
Steila, Silvia; Yokoyama, Keita
5
2016
An intuitionistic version of Ramsey’s theorem and its use in program termination. Zbl 1378.03050
Berardi, Stefano; Steila, Silvia
5
2015
An intuitionistic analysis of size-change termination. Zbl 1369.68156
Steila, Silvia
2
2015
Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic. Zbl 1359.03045
Berardi, Stefano; Steila, Silvia
7
2014
Ramsey theorem as an intuitionistic property of well founded relations. Zbl 1417.03299
Berardi, Stefano; Steila, Silvia
1
2014
all cited Publications top 5 cited Publications
all top 5

Cited by 26 Authors

7 Steila, Silvia
3 Berardi, Stefano
3 Fujiwara, Makoto
3 Kawai, Tatsuji
3 Yokoyama, Keita
2 Kohlenbach, Ulrich Wilhelm
2 Patey, Ludovic
1 Bärtschi, Michael
1 Brattka, Vasco
1 Buss, Samuel R.
1 Cox, Sean D.
1 Frittaion, Emanuele
1 Fujiwara, Makoto
1 Iemhoff, Rosalie
1 Jäger, Gerhard
1 Kurahashi, Taishi
1 Oliva, Paulo
1 Omata, Yasuhiko
1 Orponen, Tuomas
1 Pelupessy, Florian
1 Rakotoniaina, Tahina
1 Rathjen, Michael
1 Shmerkin, Pablo S.
1 Sterling, Jonathan
1 Tatsuta, Makoto
1 Xu, Chuangjie
all top 5

Cited in 10 Serials

4 The Journal of Symbolic Logic
4 Annals of Pure and Applied Logic
3 Archive for Mathematical Logic
2 Mathematical Logic Quarterly (MLQ)
2 Logical Methods in Computer Science
1 Advances in Mathematics
1 Duke Mathematical Journal
1 Notre Dame Journal of Formal Logic
1 Journal of Functional Programming
1 Oberwolfach Reports
all top 5

Cited in 6 Fields

25 Mathematical logic and foundations (03-XX)
8 Combinatorics (05-XX)
4 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Measure and integration (28-XX)

Citations by Year