Variants of The Dialectica Interpretation
Several variants of the Dialectica interpretation have been proposed since. Most notably the Diller-Nahm variant (to avoid the contraction problem) and Kohlenbach's monotone and Ferreira-Oliva bounded interpretations (to interpret weak König's lemma). Comprehensive treatments of the interpretation can be found at, and .
Read more about this topic: Dialectica Interpretation
Famous quotes containing the words variants of and/or variants:
“Nationalist pride, like other variants of pride, can be a substitute for self-respect.”
—Eric Hoffer (1902–1983)
“Nationalist pride, like other variants of pride, can be a substitute for self-respect.”
—Eric Hoffer (1902–1983)