Pages that link to "Item:Q805612"

The following pages link to Pointwise hereditary majorization and some applications (Q805612):

Displaying 14 items.

• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← 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)
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
• Bounded functional interpretation (Q2488269) (← links)
• Proof interpretations with truth (Q3066291) (← 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)
• (Q5109510) (← links)
• Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)