Pages that link to "Item:Q805612"
From MaRDI portal
The following pages link to Pointwise hereditary majorization and some applications (Q805612):
Displayed 9 items.
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Confined modified realizability (Q3406445) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
- Relative constructivity (Q4254679) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)