The weakness of finding descending sequences in ill-founded linear orders
From MaRDI portal
Publication:6518344
arXiv2401.11807MaRDI QIDQ6518344FDOQ6518344
Authors: Jun Le Goh, Arno Pauly, Manlio Valenti 
Computation over the reals, computable analysis (03D78) Generalizations of ordered sets (06A75) Other degrees and reducibilities in computability and recursion theory (03D30)
This page was built for publication: The weakness of finding descending sequences in ill-founded linear orders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6518344)
