All Stories

  1. Primitive recursive ordered fields and some applications
  2. Non-collapse of the effective Wadge hierarchy
  3. Q-Wadge degrees as free structures
  4. Extending Cooper’s theorem to Δ 3 0 Turing degrees
  5. Base-complexity classifications of qcb0-spaces1
  6. Preface to the special issue: Computing with infinite data: topological and logical foundations
  7. Wadge-like reducibilities on arbitrary quasi-Polish spaces
  8. Some hierarchies of QCB0-spaces