Buchumschlag

Countable Ordered Groups and Weihrauch Reducibility

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Li, Ang
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Group Theory 03D78, 03D30, 06F15, 03B30
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

A jump operator on the Weihrauch degrees
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

The tree pigeonhole principle in the Weihrauch degrees
von: Dzhafarov, Damir, et al.
Veröffentlicht: (2023)

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

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

The weakness of finding descending sequences in ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2024)

Finding descending sequences through ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2020)

There is No Composition in the Computable Reducibility Degrees
von: Mourad, Daniel
Veröffentlicht: (2024)

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

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
von: Liu, Yiqun, et al.
Veröffentlicht: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

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

The Weihrauch degree of finding Nash equilibria in multiplayer games
von: Crook, Tonicha, et al.
Veröffentlicht: (2021)

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

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
von: Hertling, Peter, et al.
Veröffentlicht: (2025)

Introenumerability, autoreducibility, and randomness
von: Li, Ang
Veröffentlicht: (2024)

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

Intuitionism and computing with partial information
von: Ganchev, Hristo, et al.
Veröffentlicht: (2026)

The strength of Ramsey's theorem for $α$-large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2026)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

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

The finite cohesiveness principle
von: Sun, Mengzhou
Veröffentlicht: (2025)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Open Problems in Computability Theory and Descriptive Set Theory
von: Barmpalias, George, et al.
Veröffentlicht: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

Normal forms and representable functions in Moisil logic
von: Sipos, Andrei
Veröffentlicht: (2023)

Ramsey-like theorems for separable permutations
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

Effective inseparability and some applications in meta-mathematics
von: Cheng, Yong
Veröffentlicht: (2022)