Switch to: References

Add citations

You must login to add citations.
  1. An Effective Analysis of the Denjoy Rank.Linda Westrick - 2020 - Notre Dame Journal of Formal Logic 61 (2):245-263.
    We analyze the descriptive complexity of several Π11-ranks from classical analysis which are associated to Denjoy integration. We show that VBG, VBG∗, ACG, and ACG∗ are Π11-complete, answering a question of Walsh in case of ACG∗. Furthermore, we identify the precise descriptive complexity of the set of functions obtainable with at most α steps of the transfinite process of Denjoy totalization: if |⋅| is the Π11-rank naturally associated to VBG, VBG∗, or ACG∗, and if α<ωck1, then {F∈C(I):|F|≤α} is Σ02α-complete. These (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark