Emanuele Frittaion

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Optimization Criteria

Top Venues

Bull. Symb. Log.

J. Log. Comput.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Emanuele Frittaion
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. J. Symb. Log. 88 (3) (2023)
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
Choice and independence of premise rules in intuitionistic set theory. Ann. Pure Appl. Log. 174 (9) (2023)
Emanuele Frittaion
A note on Fragments of Uniform Reflection in second order Arithmetic. Bull. Symb. Log. 28 (3) (2022)
Emanuele Frittaion, Michael Rathjen
Extensional realizability for intuitionistic set theory. J. Log. Comput. 31 (2) (2021)
Emanuele Frittaion
Completeness of the primitive recursive ømega-rule. Arch. Math. Log. 59 (5-6) (2020)
Emanuele Frittaion
On Goodman Realizability. Notre Dame J. Formal Log. 60 (3) (2019)
Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama
The strength of SCT soundness. J. Log. Comput. 28 (6) (2018)
Emanuele Frittaion
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone. Bull. Symb. Log. 24 (2) (2018)
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
The Strength of the SCT Criterion. TAMC (2017)
Emanuele Frittaion, Ludovic Patey
Coloring the rationals in reverse mathematics. Comput. 6 (4) (2017)
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
The strength of the SCT criterion. CoRR (2016)
Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
Reverse mathematics, well-quasi-orders, and Noetherian spaces. Arch. Math. Log. 55 (3-4) (2016)
Emanuele Frittaion, Alberto Marcone
Reverse mathematics and initial intervals. Ann. Pure Appl. Log. 165 (3) (2014)
Emanuele Frittaion, Alberto Marcone
Linear extensions of partial orders and reverse mathematics. Math. Log. Q. 58 (6) (2012)