The following pages link to Relative constructivity (Q4254679):
Displaying 14 items.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Non-bounding constructions (Q750428) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- (Q3329455) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- (Q4218526) (← links)
- (Q4694290) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)