The weakness of finding descending sequences in ill-founded linear orders

MaRDI QIDQ6518344arXivFDO

Authors Jun Le Goh, Arno Pauly, Manlio Valenti

Mathematics Subject Classification ID

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)