Imagen de Portada

The equational theory of the Weihrauch lattice with multiplication

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Neumann, Eike, Pauly, Arno, Pradic, Cécilia
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Logic 03D30, 08A50, 68Q17
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The equational theory of the Weihrauch lattice with (iterated) composition
por: Pradic, Cécilia
Publicado: (2024)

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

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

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

There is a deep 1-generic set
por: Li, Ang
Publicado: (2024)

Embeddability of graphs and Weihrauch degrees
por: Cipriani, Vittorio, et al.
Publicado: (2023)

Computably discrete represented spaces
por: Neumann, Eike, et al.
Publicado: (2025)

Finitely Bounded Homogeneity Turned Inside-Out
por: Rydval, Jakub
Publicado: (2021)

The Myhill isomorphism theorem does not generalize much
por: Pradic, Cécilia
Publicado: (2025)

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

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
por: Ham, Lucy, et al.
Publicado: (2022)

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)

Variants of Solovay reducibility
por: Titov, Ivan
Publicado: (2024)

On the incomputability of computable dimension
por: Staiger, Ludwig
Publicado: (2019)

More on the indivisibility of $\mathbb{Q}$
por: Pauly, Arno
Publicado: (2024)

Computability of Initial Value Problems
por: Brattka, Vasco, et al.
Publicado: (2024)

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

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
por: Marković, Petar, et al.
Publicado: (2026)

Information vs Dimension -- an Algorithmic Perspective
por: Reimann, Jan
Publicado: (2024)

Sequential discontinuity and first-order problems
por: Pauly, Arno, et al.
Publicado: (2024)

On Chaitin's Heuristic Principle and Halting Probability
por: Salehi, Saeed
Publicado: (2023)

Why the classes P and NP are not well-defined finitarily
por: Anand, Bhupinder Singh
Publicado: (2024)

Flexible constraint satisfiability and a problem in semigroup theory
por: Jackson, Marcel
Publicado: (2015)

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

Algebra of Self-Replication
por: Moss, Lawrence S.
Publicado: (2023)

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

Solovay reducibility implies S2a-reducibility
por: Titov, Ivan
Publicado: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
por: Merkle, Wolfgang, et al.
Publicado: (2024)

Refutability as Recursive as Provability
por: Cattabriga, Paola
Publicado: (2024)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
por: Brossard, Jonathan
Publicado: (2026)

Implicit automata in λ-calculi III: affine planar string-to-string functions
por: Pradic, Cécilia, et al.
Publicado: (2024)

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

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

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

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
por: Sorg, Christopher
Publicado: (2026)

Arithmetics within the Linear Time Hierarchy
por: Pollett, Chris
Publicado: (2025)

Choiceless Polynomial Space
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
por: Brady, Zarathustra, et al.
Publicado: (2026)