Switch to: References

Add citations

You must login to add citations.
  1. Borel quasi-orderings in subsystems of second-order arithmetic.Alberto Marcone - 1991 - Annals of Pure and Applied Logic 54 (3):265-291.
    We study the provability in subsystems of second-order arithmetic of two theorems of Harrington and Shelah [6] about Borel quasi-orderings of the reals. These theorems turn out to be provable in ATR0, thus giving further evidence to the observation that ATR0 is the minimal subsystem of second-order arithmetic in which significant portion of descriptive set theory can be developed. As in [6] considering the lightface versions of the theorems will be instrumental in their proof and the main techniques employed will (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A multiplication operation for the hierarchy of norms.Alexander C. Block & Benedikt Löwe - 2018 - Annals of Pure and Applied Logic 169 (7):656-673.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Wadge hierarchy for second countable spaces.Yann Pequignot - 2015 - Archive for Mathematical Logic 54 (5):659-683.
    We define a notion of reducibility for subsets of a second countable T 0 topological space based on relatively continuous relations and admissible representations. This notion of reducibility induces a hierarchy that refines the Baire classes and the Hausdorff–Kuratowski classes of differences. It coincides with Wadge reducibility on zero dimensional spaces. However in virtually every second countable T 0 space, it yields a hierarchy on Borel sets, namely it is well founded and antichains are of length at most 2. It (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations