Emanuele Frittaion

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY Journal of Symbolic Logic	2023-09-11	Paper
Choice and independence of premise rules in intuitionistic set theory Annals of Pure and Applied Logic	2023-07-26	Paper
A note on fragments of uniform reflection in second order arithmetic The Bulletin of Symbolic Logic	2022-10-25	Paper
A note on fragments of uniform reflection in second order arithmetic (available as arXiv preprint)	2022-07-24	Paper
Extensional realizability for intuitionistic set theory Journal Of Logic And Computation	2021-04-09	Paper
Completeness of the primitive recursive \(\omega \)-rule Archive for Mathematical Logic	2020-07-17	Paper
On Goodman realizability Notre Dame Journal of Formal Logic	2019-10-22	Paper
On Goodman realizability Notre Dame Journal of Formal Logic	2019-10-22	Paper
The strength of SCT soundness Journal Of Logic And Computation	2019-01-31	Paper
Coloring the rationals in reverse mathematics Computability	2018-01-18	Paper
On Goodman realizability (available as arXiv preprint)	2018-01-15	Paper
Brown's lemma in second-order arithmetic Fundamenta Mathematicae	2017-06-20	Paper
The strength of the SCT criterion Lecture Notes in Computer Science	2017-05-19	Paper
Reverse mathematics, well-quasi-orders, and Noetherian spaces Archive for Mathematical Logic	2016-05-13	Paper
Reverse mathematics, well-quasi-orders, and Noetherian spaces Archive for Mathematical Logic	2016-05-13	Paper
Reverse mathematics and initial intervals Annals of Pure and Applied Logic	2013-12-16	Paper
Linear extensions of partial orders and reverse mathematics Mathematical Logic Quarterly	2012-12-10	Paper

Research outcomes over time

This page was built for person: Emanuele Frittaion