Logo del repository
  1. Home
 
Opzioni

Searching for An Analogue of ATR_0 in the Weihrauch Lattice

Kihara T.
•
Marcone A.
•
Pauly A.
2020
  • journal article

Periodico
THE JOURNAL OF SYMBOLIC LOGIC
Abstract
There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.
DOI
10.1017/jsl.2020.12
WOS
WOS:000628900500007
Archivio
http://hdl.handle.net/11390/1204982
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85102718978
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/searching-for-an-analogue-of-atr0-in-the-weihrauch-lattice/B7A0E74422EF63EE724AD61F3A9E3FF3
Diritti
open access
Soggetti
  • Weihrauch degrees, pe...

Scopus© citazioni
9
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Web of Science© citazioni
5
Data di acquisizione
Mar 24, 2024
Visualizzazioni
2
Data di acquisizione
Apr 19, 2024
Vedi dettagli
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