Emanuele Frittaion

According to our database, Emanuele Frittaion authored at least 13 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Choice and independence of premise rules in intuitionistic set theory.

Emanuele Frittaion, Takako Nemoto, Michael Rathjen

Ann. Pure Appl. Log., October, 2023

Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory.

Emanuele Frittaion

J. Symb. Log., 2023

2022

A note on Fragments of Uniform Reflection in second order Arithmetic.

Emanuele Frittaion

Bull. Symb. Log., 2022

2021

Extensional realizability for intuitionistic set theory.

Emanuele Frittaion, Michael Rathjen

J. Log. Comput., 2021

2020

Completeness of the primitive recursive ømega-rule.

Emanuele Frittaion

Arch. Math. Log., 2020

2019

On Goodman Realizability.

Emanuele Frittaion

Notre Dame J. Formal Log., 2019

2018

The strength of SCT soundness.

Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama

J. Log. Comput., 2018

Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone.

Emanuele Frittaion

Bull. Symb. Log., 2018

2017

Coloring the rationals in reverse mathematics.

Emanuele Frittaion, Ludovic Patey

Comput., 2017

The Strength of the SCT Criterion.

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

Proceedings of the Theory and Applications of Models of Computation, 2017

2016

Reverse mathematics, well-quasi-orders, and Noetherian spaces.

Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren

Arch. Math. Log., 2016

2014

Reverse mathematics and initial intervals.

Emanuele Frittaion, Alberto Marcone

Ann. Pure Appl. Log., 2014

2012

Linear extensions of partial orders and reverse mathematics.

Emanuele Frittaion, Alberto Marcone

Math. Log. Q., 2012