The following pages link to António Marques Fernandes (Q1407523):
Displayed 8 items.
- A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\) (Q1407524) (← links)
- (Q2655139) (redirect page) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- (Q5222079) (← links)
- (Q5224790) (← links)
- (Q5711882) (← links)
- (Q5711883) (← links)