Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Proof</strong> <strong>Mining</strong><br />
Other uses of proof interpetations<br />
• Combinations of negative <strong>and</strong> Friedman/Dragalin translation<br />
with modified realizability (Berger/Buchholz/Schwichtenberg<br />
2002, Coqu<strong>and</strong>/Hofmann 1999)<br />
• Hayashi’s limit realizability<br />
• Bounded functional interpretation (Ferreira/Oliva 2004)<br />
Ulrich Kohlenbach 11