Linear extensions of partial orders and reverse mathematics. - Emanuele Frittaion; Alberto Marcone (Math. Log. Q., 2012)

Reverse mathematics and initial intervals. - Emanuele Frittaion; Alberto Marcone (Ann. Pure Appl. Log., 2014)

Reverse mathematics, well-quasi-orders, and Noetherian spaces. - Emanuele Frittaion; Matthew Hendtlass; Alberto Marcone; Paul Shafer; Jeroen Van der Meeren (Arch. Math. Log., 2016)

The Strength of the SCT Criterion. - Emanuele Frittaion; Silvia Steila; Keita Yokoyama (TAMC, 2017)

Coloring the rationals in reverse mathematics. - Emanuele Frittaion; Ludovic Patey (Comput., 2017)

Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone. - Emanuele Frittaion (Bull. Symb. Log., 2018)

The strength of SCT soundness. - Emanuele Frittaion; Florian Pelupessy; Silvia Steila; Keita Yokoyama (J. Log. Comput., 2018)

On Goodman Realizability. - Emanuele Frittaion (Notre Dame J. Formal Log., 2019)

Completeness of the primitive recursive ømega-rule. - Emanuele Frittaion (Arch. Math. Log., 2020)

Extensional realizability for intuitionistic set theory. - Emanuele Frittaion; Michael Rathjen (J. Log. Comput., 2021)

A note on Fragments of Uniform Reflection in second order Arithmetic. - Emanuele Frittaion (Bull. Symb. Log., 2022)

Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. - Emanuele Frittaion (J. Symb. Log., 2023)

Choice and independence of premise rules in intuitionistic set theory. - Emanuele Frittaion; Takako Nemoto; Michael Rathjen (Ann. Pure Appl. Log., 2023)

Peano arithmetic, games and descent recursion. - Emanuele Frittaion (Ann. Pure Appl. Log., 2025)