Cover Image

The surjection property and computable type

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Amir, Djamel Eddine, Hoyrup, Mathieu
Format:	Preprint
Published:	2023
Subjects:	General Topology Algebraic Topology Logic 54C20, 55M99, 03D78 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

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

Computably discrete represented spaces
by: Neumann, Eike, et al.
Published: (2025)

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

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

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

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

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

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

Constructive and Predicative Locale Theory in Univalent Foundations
by: Tosun, Ayberk
Published: (2026)

Robust non-computability of dynamical systems and computability of robust dynamical systems
by: Graça, Daniel S., et al.
Published: (2023)

On symmetries of spheres in univalent foundations
by: Cagne, Pierre, et al.
Published: (2024)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

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

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
Published: (2024)

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

On the Formalization of Network Topology Matrices in HOL
by: Aksoy, Kubra, et al.
Published: (2026)

Transfinitely iterated wild sets
by: Brazas, Jeremy, et al.
Published: (2026)

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

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

Symmetries in Sorting
by: Choudhury, Vikraman, et al.
Published: (2025)

On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)

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

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Extended Nullstellensatz proof systems
by: Krajicek, Jan
Published: (2023)

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

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

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

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

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

Ends and end cohomology
by: Bass, William G., et al.
Published: (2024)

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

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

On R-trees, homotopies, and covering maps
by: Brazas, Jeremy, et al.
Published: (2024)

Homeomorphisms between compact subsets of real numbers
by: Kusiński, Sławomir, et al.
Published: (2026)

The power of trees
by: Brodsky, Ari Meir, et al.
Published: (2025)

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

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
by: Santacana, Andreu Ballus
Published: (2025)

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

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

The definable content of homological invariants II: Čech cohomology and homotopy classification
by: Bergfalk, Jeffrey, et al.
Published: (2022)