6 citations · 6 across the 5 of their papers we have counts for
5 papers · 1 filter
Extensional realizability and choice for dependent types in intuitionistic set theory
Emanuele Frittaion
In "Extensional realizability for intuitionistic set theory", we introduced an extensional variant of generic realizability, where realizers act extensionally on realizers, and sho…
A note on fragments of uniform reflection in second order arithmetic
Emanuele Frittaion
We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic…
Completeness of the primitive recursive -rule
Emanuele Frittaion
Shoenfield's completeness theorem (1959) states that every true first order arithmetical sentence has a recursive -proof encodable by using recursive applications of the -rul…
The strength of the SCT criterion
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion is equivalent to -induction over RCA…
Linear extensions of partial orders and Reverse Mathematics
Emanuele Frittaion, Alberto Marcone
We introduce the notion of τ-like partial order, where τis one of the linear order types ω, ω*, ω+ω*, and ζ. For example, being ω-like means that every element has finitely many pr…