Switch to: References

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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Game semantics and the geometry of backtracking: A new complexity analysis of interaction.Federico Aschieri - 2017 - Journal of Symbolic Logic 82 (2):672-708.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark