Logo del repository
  1. Home
 
Opzioni

Finding descending sequences through ill-founded linear orders

Jun Le Goh
•
Arno Pauly
•
Manlio Valenti
2021
  • journal article

Periodico
THE JOURNAL OF SYMBOLIC LOGIC
Abstract
In this work we investigate the Weihrauch degree of the problem $mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem $mathsf{BS}$ of finding a bad sequence through a given non-well quasi-order. We show that $mathsf{DS}$, despite being hard to solve (it has computable inputs with no hyperarithmetic solution), is rather weak in terms of uniform computational strength. To make the latter precise, we introduce the notion of the deterministic part of a Weihrauch degree. We then generalize $mathsf{DS}$ and $mathsf{BS}$ by considering $oldsymbol{Gamma}$-presented orders, where $oldsymbol{Gamma}$ is a Borel pointclass or $oldsymbol{Delta}^1_1$, $oldsymbol{Sigma}^1_1$, $oldsymbol{Pi}^1_1$. We study the obtained $mathsf{DS}$-hierarchy and $mathsf{BS}$-hierarchy of problems in comparison with the (effective) Baire hierarchy and show that they do not collapse at any finite level.
DOI
10.1017/jsl.2021.15
Archivio
http://hdl.handle.net/11390/1195043
http://arxiv.org/abs/2010.03840v1
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/finding-descending-sequences-through-illfounded-linear-orders/E47729D31406CF4FAE5D84C2521E9723
Diritti
metadata only access
Soggetti
  • Mathematics - Logic

  • Mathematics - Logic

  • Computer Science - Lo...

  • Mathematics - Combina...

  • 03D30 03D78 06A75

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback