On the No-Counterexample Interpretation (1997)

Cached

Download Links

by Ulrich Kohlenbach
Venue:J. SYMBOLIC LOGIC
Citations:18 - 10 self

Active Bibliography

4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
4 On the Computational Content of the Bolzano-Weierstraß Principle – Pavol Safarik, Ulrich Kohlenbach - 2009
19 Higher Order Logic – Daniel Leivant - 1994
unknown title – unknown authors - 2005
9 Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation – Ulrich Kohlenbach - 2007
34 On the computational content of the axiom of choice – Stefano Berardi, Marc Bezem, Thierry Coquand - 1998
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
28 Dependent choices, ‘quote’ and the clock – Jean-louis Krivine - 2003
System T and the Product of Selection Functions – Martín Escardó, Paulo Oliva, Thomas Powell
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998
Contents – Michael Rathjen - 2013
2 A most artistic package of a jumble of ideas – Fernando Ferreira
3 A uniform quantitative form of sequential weak compactness and Baillon’s . . . – Ulrich Kohlenbach - 2011
On quantitative versions of theorems due to F. E. Browder and R. Wittmann – Ulrich Kohlenbach - 2010
Classical provability of uniform versions and intuitionistic provability – Makoto Fujiwara, Ulrich Kohlenbach, Tu Darmstadt Schlossgartenstraße - 2013
16 A New Method for Establishing Conservativity of Classical Systems Over Their Intuitionistic Version – Thierry Coquand, Martin Hofmann
5 Admissible Proof Theory And Beyond – Michael Rathjen - 1994
The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008. – Solomon Feferman - 2008