The following pages link to Emanuele Frittaion (Q283109):
Displayed 15 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Reverse mathematics and initial intervals (Q386152) (← links)
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- On Goodman realizability (Q2330510) (← links)
- The Strength of the SCT Criterion (Q2988827) (← links)
- Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
- Coloring the rationals in reverse mathematics (Q4601029) (← links)
- The strength of SCT soundness (Q4612439) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- Brown’s lemma in second-order arithmetic (Q5268786) (← links)
- Extensional realizability for intuitionistic set theory (Q5858137) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
- On Goodman realizability (Q6296495) (← links)
- A note on fragments of uniform reflection in second order arithmetic (Q6405857) (← links)