Imagen de Portada

Countable Ordered Groups and Weihrauch Reducibility

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Li, Ang
Formato:	Preprint
Publicado:	2024
Materias:	Logic Group Theory 03D78, 03D30, 06F15, 03B30
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
por: Cipriani, Vittorio, et al.
Publicado: (2022)

The Galvin-Prikry Theorem in the Weihrauch lattice
por: Marcone, Alberto, et al.
Publicado: (2024)

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

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

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

Chains and antichains in the Weihrauch lattice
por: Lempp, Steffen, et al.
Publicado: (2024)

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

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

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
por: Sorg, Christopher
Publicado: (2026)

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

Regainingly approximable numbers and sets
por: Hertling, Peter, et al.
Publicado: (2023)

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

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

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

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

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

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
por: Buriola, Gabriele, et al.
Publicado: (2025)

Dilators and the reverse mathematics zoo
por: Freund, Anton
Publicado: (2024)

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

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

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

A non-speedup result for the chain-antichain principle over a weak base theory
por: Kowalik, Katarzyna W.
Publicado: (2025)

The Weihrauch degree of finding Nash equilibria in multiplayer games
por: Crook, Tonicha, et al.
Publicado: (2021)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
por: Carlucci, Lorenzo, et al.
Publicado: (2025)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
por: Hertling, Peter, et al.
Publicado: (2025)

Introenumerability, autoreducibility, and randomness
por: Li, Ang
Publicado: (2024)

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

Intuitionism and computing with partial information
por: Ganchev, Hristo, et al.
Publicado: (2026)

The strength of Ramsey's theorem for $α$-large sets
por: Carlucci, Lorenzo, et al.
Publicado: (2026)

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

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

The finite cohesiveness principle
por: Sun, Mengzhou
Publicado: (2025)

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

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

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
por: Andrews, Uri, et al.
Publicado: (2024)

Open Problems in Computability Theory and Descriptive Set Theory
por: Barmpalias, George, et al.
Publicado: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
por: Samra, Jean Abou, et al.
Publicado: (2026)

Normal forms and representable functions in Moisil logic
por: Sipos, Andrei
Publicado: (2023)

Ramsey-like theorems for separable permutations
por: Houérou, Quentin Le, et al.
Publicado: (2025)

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