Copertina

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Samra, Jean Abou, Madore, David Alexander
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic Logic in Computer Science 03D30, 03G30, 03F65
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Minimal covers in the Weihrauch degrees
di: Lempp, Steffen, et al.
Pubblicazione: (2023)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
di: Song, Sirun, et al.
Pubblicazione: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
di: Liu, Yiqun, et al.
Pubblicazione: (2025)

A computably enumerable many-one degree with no least finite-one degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

A jump operator on the Weihrauch degrees
di: Andrews, Uri, et al.
Pubblicazione: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

A note on the degree structure of primitive recursive m-reducibility
di: Kalmurzayev, Birzhan, et al.
Pubblicazione: (2023)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

Effective inseparability and some applications in meta-mathematics
di: Cheng, Yong
Pubblicazione: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)

The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)

The computational content of multidimensional discontinuity
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Open questions about Ramsey-type statements in reverse mathematics
di: Patey, Ludovic
Pubblicazione: (2015)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Reduced Set Theory
di: Kunik, Matthias
Pubblicazione: (2023)

Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2025)

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
di: Hamkins, Joel David, et al.
Pubblicazione: (2022)

A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)

The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

Tarski's Undefinability Theorem and first-order arithmetic
di: Boyce, Stephen
Pubblicazione: (2010)

Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)

Finding descending sequences through ill-founded linear orders
di: Goh, Jun Le, et al.
Pubblicazione: (2020)

The weakness of finding descending sequences in ill-founded linear orders
di: Goh, Jun Le, et al.
Pubblicazione: (2024)

Extensional Independence
di: Kurahashi, Taishi, et al.
Pubblicazione: (2025)

Fragments of arithmetic and cyclic proofs
di: Beklemishev, Lev D., et al.
Pubblicazione: (2025)

On a Question of Hamkins'
di: Visser, Albert
Pubblicazione: (2025)

Countable Ordered Groups and Weihrauch Reducibility
di: Li, Ang
Pubblicazione: (2024)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)