Emanuele Frittaion

Available identifiers

Publication	Date of Publication	Type
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY	2023-09-11	Paper
Choice and independence of premise rules in intuitionistic set theory	2023-07-26	Paper
A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC	2022-10-25	Paper
A note on fragments of uniform reflection in second order arithmetic	2022-07-24	Paper
Extensional realizability for intuitionistic set theory	2021-04-09	Paper
Completeness of the primitive recursive \(\omega \)-rule	2020-07-17	Paper
On Goodman realizability	2019-10-22	Paper
The strength of SCT soundness	2019-01-31	Paper
Coloring the rationals in reverse mathematics	2018-01-18	Paper
On Goodman realizability	2018-01-15	Paper
Brown’s lemma in second-order arithmetic	2017-06-20	Paper
The Strength of the SCT Criterion	2017-05-19	Paper
Reverse mathematics, well-quasi-orders, and Noetherian spaces	2016-05-13	Paper
Reverse mathematics and initial intervals	2013-12-16	Paper
Linear extensions of partial orders and reverse mathematics	2012-12-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emanuele Frittaion