Emanuele Frittaion

15 papers C 1Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Peano arithmetic, games and descent recursion.
Ann. Pure Appl. Log.
Emanuele Frittaion
2023 J jnl
Choice and independence of premise rules in intuitionistic set theory.
Ann. Pure Appl. Log.
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
2023 J jnl
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory.
J. Symb. Log.
Emanuele Frittaion
2022 J jnl
A note on Fragments of Uniform Reflection in second order Arithmetic.
Bull. Symb. Log.
Emanuele Frittaion
2021 J jnl
Extensional realizability for intuitionistic set theory.
J. Log. Comput.
Emanuele Frittaion, Michael Rathjen
2020 J jnl
Completeness of the primitive recursive ømega-rule.
Arch. Math. Log.
Emanuele Frittaion
2019 J jnl
On Goodman Realizability.
Notre Dame J. Formal Log.
Emanuele Frittaion
2018 J jnl
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone.
Bull. Symb. Log.
Emanuele Frittaion
2018 J jnl
The strength of SCT soundness.
J. Log. Comput.
Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama
2017 J jnl
Coloring the rationals in reverse mathematics.
Comput.
Emanuele Frittaion, Ludovic Patey
2017 C conf
The Strength of the SCT Criterion.
TAMC
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
2016 J jnl
Reverse mathematics, well-quasi-orders, and Noetherian spaces.
Arch. Math. Log.
Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
2016 J jnl
The strength of the SCT criterion.
CoRR
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
2014 J jnl
Reverse mathematics and initial intervals.
Ann. Pure Appl. Log.
Emanuele Frittaion, Alberto Marcone
2012 J jnl
Linear extensions of partial orders and reverse mathematics.
Math. Log. Q.
Emanuele Frittaion, Alberto Marcone