|
|||||
|
|
On the computational content of the Bolzano‐Weierstraß Principle |
|
| Authors: | Pavol Safarik Ulrich Kohlenbach |
| Affiliation: | TU Darmstadt, FB Mathematik, AG Logik, Schlossgartenstra?e 7, D‐64289 Darmstadt |
| Abstract: | |
| Keywords: | Bolzano‐Weierstraß principle sequential compactness hard analysis Dialectica interpretation Gö del functional interpretation monotone functional interpretation computational content program extraction proof mining |