Cover Image

Weihrauch problems as containers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pradic, Cécilia, Price, Ian
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic 03D30, 03D78, 03B70 F.1.1; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Reordered Computable Numbers
by: Janicki, Philip
Published: (2023)

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

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Computability of Initial Value Problems
by: Brattka, Vasco, et al.
Published: (2024)

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

Sheaves as oracle computations
by: Ahman, Danel, et al.
Published: (2026)

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

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Towards Weak Stratification for Logics of Definitions
by: Guermond, Nathan
Published: (2026)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

Node Replication: Theory And Practice
by: Kesner, Delia, et al.
Published: (2022)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
by: Lopez, Aliaume
Published: (2024)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
by: Poernomo, Iman
Published: (2025)

ASP Chef grows Mustache to look better
by: Alviano, Mario, et al.
Published: (2025)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

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

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)