Image de couverture de livre

The equational theory of the Weihrauch lattice with multiplication

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Neumann, Eike, Pauly, Arno, Pradic, Cécilia
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Logic 03D30, 08A50, 68Q17
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Minimal covers in the Weihrauch degrees
par: Lempp, Steffen, et autres
Publié: (2023)

Weihrauch problems as containers
par: Pradic, Cécilia, et autres
Publié: (2025)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
par: Sorg, Christopher
Publié: (2026)

There is a deep 1-generic set
par: Li, Ang
Publié: (2024)

Embeddability of graphs and Weihrauch degrees
par: Cipriani, Vittorio, et autres
Publié: (2023)

Computably discrete represented spaces
par: Neumann, Eike, et autres
Publié: (2025)

Finitely Bounded Homogeneity Turned Inside-Out
par: Rydval, Jakub
Publié: (2021)

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

The Weihrauch degree of finding Nash equilibria in multiplayer games
par: Crook, Tonicha, et autres
Publié: (2021)

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
par: Ham, Lucy, et autres
Publié: (2022)

The weakness of finding descending sequences in ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2024)

Finding descending sequences through ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2020)

Variants of Solovay reducibility
par: Titov, Ivan
Publié: (2024)

On the incomputability of computable dimension
par: Staiger, Ludwig
Publié: (2019)

More on the indivisibility of $\mathbb{Q}$
par: Pauly, Arno
Publié: (2024)

Computability of Initial Value Problems
par: Brattka, Vasco, et autres
Publié: (2024)

Problems with fixpoints of polynomials of polynomials
par: Pradic, Cécilia, et autres
Publié: (2026)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
par: Marković, Petar, et autres
Publié: (2026)

Sequential discontinuity and first-order problems
par: Pauly, Arno, et autres
Publié: (2024)

Information vs Dimension -- an Algorithmic Perspective
par: Reimann, Jan
Publié: (2024)

On Chaitin's Heuristic Principle and Halting Probability
par: Salehi, Saeed
Publié: (2023)

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

Flexible constraint satisfiability and a problem in semigroup theory
par: Jackson, Marcel
Publié: (2015)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
par: Hertling, Peter, et autres
Publié: (2025)

Algebra of Self-Replication
par: Moss, Lawrence S.
Publié: (2023)

Chains and antichains in the Weihrauch lattice
par: Lempp, Steffen, et autres
Publié: (2024)

Solovay reducibility implies S2a-reducibility
par: Titov, Ivan
Publié: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
par: Merkle, Wolfgang, et autres
Publié: (2024)

Refutability as Recursive as Provability
par: Cattabriga, Paola
Publié: (2024)

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

Implicit automata in λ-calculi III: affine planar string-to-string functions
par: Pradic, Cécilia, et autres
Publié: (2024)

The Galvin-Prikry Theorem in the Weihrauch lattice
par: Marcone, Alberto, et autres
Publié: (2024)

A jump operator on the Weihrauch degrees
par: Andrews, Uri, et autres
Publié: (2024)

Regainingly approximable numbers and sets
par: Hertling, Peter, et autres
Publié: (2023)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

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

Arithmetics within the Linear Time Hierarchy
par: Pollett, Chris
Publié: (2025)

Choiceless Polynomial Space
par: Ferrarotti, Flavio, et autres
Publié: (2024)

The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
par: Brady, Zarathustra, et autres
Publié: (2026)