Image de couverture de livre

Loops, Inverse Limits and Non-Determinism

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Brattka, Vasco
Format:	Preprint
Publié:	2025
Sujets:	Logic Logic in Computer Science 03D78 (Primary) 03D30 (Secondary) F.4.1; F.1.1; F.3.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Computability of the Hahn-Banach Theorem Revisited
par: Brattka, Vasco, et autres
Publié: (2026)

Effective bases and notions of effective second countability in computable analysis
par: Brattka, Vasco, et autres
Publié: (2025)

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

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

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
par: Bacik, Piotr, et autres
Publié: (2026)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

Exploring the abyss in Kleene's computability theory
par: Sanders, Sam
Publié: (2023)

On some computational properties of open sets
par: Normann, Dag, et autres
Publié: (2024)

Reordered Computable Numbers
par: Janicki, Philip
Publié: (2023)

Robust non-computability of dynamical systems and computability of robust dynamical systems
par: Graça, Daniel S., et autres
Publié: (2023)

Relative Constructibility via Generalised Sequential Algorithms
par: Lau, Desmond
Publié: (2024)

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

Continuations and Completeness in Proof-theoretic Semantics
par: Gu, Tao, et autres
Publié: (2026)

Punctually Standard and Nonstandard Models of Natural Numbers
par: Bazhenov, Nikolay, et autres
Publié: (2026)

Uniform Computability of PAC Learning
par: Brattka, Vasco, et autres
Publié: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Computable Approximations of Semicomputable Graphs
par: Čačić, Vedran, et autres
Publié: (2024)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
par: Lau, Desmond
Publié: (2024)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)

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

A correspondence between the time and space complexity
par: Latkin, Ivan V.
Publié: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Determination of the fifth Busy Beaver value
par: The bbchallenge Collaboration, et autres
Publié: (2025)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

On Some Complexity Results for Even Linear Languages
par: Cojocaru, Liliana
Publié: (2024)

Gödel coding on fibrations and geminal categories
par: Ikeda, Yuto
Publié: (2026)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
par: Cerda, Rémy, et autres
Publié: (2022)

Symmetries in Sorting
par: Choudhury, Vikraman, et autres
Publié: (2025)

Node Replication: Theory And Practice
par: Kesner, Delia, et autres
Publié: (2022)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Simple Types for Polymorphic Functions
par: Jay, Barry, et autres
Publié: (2026)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

Undecidability in Relevant Logic
par: Knudstorp, Søren Brinck
Publié: (2026)

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

Consistent ultrafinitist logic
par: Gajda, Michał J.
Publié: (2021)

Internal Effectful Forcing in System T
par: Escardo, Martin H., et autres
Publié: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
par: Borzechowski, Manfred, et autres
Publié: (2025)