Person:283109

Available identifiers

zbMath Open frittaion.emanueleWikidataQ102418812 ScholiaQ102418812MaRDI QIDQ283109

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emanuele Frittaion