Coloring the rationals in reverse mathematics E Frittaion, L Patey Computability 6 (4), 319-331, 2017 | 13 | 2017 |
Linear extensions of partial orders and reverse mathematics E Frittaion, A Marcone Mathematical Logic Quarterly 58 (6), 417-423, 2012 | 11 | 2012 |
Reverse mathematics and initial intervals E Frittaion, A Marcone Annals of Pure and Applied Logic 165 (3), 858-879, 2014 | 10 | 2014 |
Reverse mathematics, well-quasi-orders, and Noetherian spaces E Frittaion, M Hendtlass, A Marcone, P Shafer, J Van der Meeren Archive for Mathematical Logic 55, 431-459, 2016 | 7 | 2016 |
Brown’s lemma in second-order arithmetic E Frittaion Fundamenta Mathematicae 238, 269-283, 2017 | 5 | 2017 |
A note on fragments of uniform reflection in second order arithmetic E Frittaion Bulletin of Symbolic Logic 28 (3), 451-465, 2022 | 4 | 2022 |
Reverse Mathematics and partial orders E Frittaion Università degli Studi di Udine, 2014 | 4 | 2014 |
Extensional realizability for intuitionistic set theory E Frittaion, M Rathjen Journal of Logic and Computation 31 (2), 630-653, 2021 | 3 | 2021 |
The strength of the SCT criterion E Frittaion, S Steila, K Yokoyama International Conference on Theory and Applications of Models of Computation …, 2017 | 3 | 2017 |
Choice and independence of premise rules in intuitionistic set theory E Frittaion, T Nemoto, M Rathjen Annals of Pure and Applied Logic 174 (9), 103314, 2023 | | 2023 |
Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory E Frittaion The Journal of Symbolic Logic 88 (3), 1138-1169, 2023 | | 2023 |
Completeness of the primitive recursive ω-rule E Frittaion Archive for Mathematical Logic 59, 715-731, 2020 | | 2020 |
Reverse Mathematics and Partial Orders. PhD thesis 2014 (BSL abstract) E Frittaion Bulletin of Symbolic Logic 24 (2), 196-196, 2018 | | 2018 |
The strength of SCT soundness E Frittaion, F Pelupessy, S Steila, K Yokoyama Journal of Logic and Computation 28 (6), 1217-1242, 2018 | | 2018 |