Switch to: References

Citations of:

Explicit Provability and Constructive Semantics

[author unknown]
Bulletin of Symbolic Logic 8 (3):432-433 (2002)

Add citations

You must login to add citations.
  1. Fluctuations, effective learnability and metastability in analysis.Ulrich Kohlenbach & Pavol Safarik - 2014 - Annals of Pure and Applied Logic 165 (1):266-304.
    This paper discusses what kind of quantitative information one can extract under which circumstances from proofs of convergence statements in analysis. We show that from proofs using only a limited amount of the law-of-excluded-middle, one can extract functionals , where L is a learning procedure for a rate of convergence which succeeds after at most B-many mind changes. This -learnability provides quantitative information strictly in between a full rate of convergence and a rate of metastability in the sense of Tao (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations