Buchumschlag

On some computational properties of open sets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Normann, Dag, Sanders, Sam
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Logic in Computer Science 03D55 03D75 F.4.1; F.1.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the computational properties of basic mathematical notions
von: Normann, Dag, et al.
Veröffentlicht: (2022)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

Consistent ultrafinitist logic
von: Gajda, Michał J.
Veröffentlicht: (2021)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Symmetries in Sorting
von: Choudhury, Vikraman, et al.
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

Glivenko's theorems from an ecumenical perspective
von: Pereira, Luiz Carlos, et al.
Veröffentlicht: (2026)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Reordered Computable Numbers
von: Janicki, Philip
Veröffentlicht: (2023)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Punctually Standard and Nonstandard Models of Natural Numbers
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Robust non-computability of dynamical systems and computability of robust dynamical systems
von: Graça, Daniel S., et al.
Veröffentlicht: (2023)

The surjection property and computable type
von: Amir, Djamel Eddine, et al.
Veröffentlicht: (2023)

On Some Complexity Results for Even Linear Languages
von: Cojocaru, Liliana
Veröffentlicht: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
von: Barrett, Victoria, et al.
Veröffentlicht: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Computable Approximations of Semicomputable Graphs
von: Čačić, Vedran, et al.
Veröffentlicht: (2024)

Computability of the Hahn-Banach Theorem Revisited
von: Brattka, Vasco, et al.
Veröffentlicht: (2026)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
von: Lau, Desmond
Veröffentlicht: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
von: Rosko, Milan
Veröffentlicht: (2025)

The Fluted Fragment with Transitive Relations
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2020)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

Towards Weak Stratification for Logics of Definitions
von: Guermond, Nathan
Veröffentlicht: (2026)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
von: Castiglioni, José Luis, et al.
Veröffentlicht: (2025)