Buchumschlag

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kihara, Takayuki
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Effectful Toposes and Their Lawvere-Tierney Topologies
von: Yamada, Rinta
Veröffentlicht: (2026)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Degrees of incomputability, realizability and constructive reverse mathematics
von: Kihara, Takayuki
Veröffentlicht: (2020)

Many-one reducibility with realizability
von: Kihara, Takayuki
Veröffentlicht: (2024)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)

The subTuring degrees
von: Kihara, Takayuki, et al.
Veröffentlicht: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Polynomial Lawvere Logic
von: Bacci, Giorgio, et al.
Veröffentlicht: (2024)

Propositional Logics for the Lawvere Quantale
von: Bacci, Giorgio, et al.
Veröffentlicht: (2023)

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

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

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

Speedability of computably approximable reals and their approximations
von: Barmpalias, George, et al.
Veröffentlicht: (2026)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
von: Sabelli, Pietro
Veröffentlicht: (2024)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Indivisibility and uniform computational strength
von: Gill, Kenneth
Veröffentlicht: (2023)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

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

Degree spectra of homeomorphism types of compact Polish spaces
von: Hoyrup, Mathieu, et al.
Veröffentlicht: (2020)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
von: Mangel, Éléonore, et al.
Veröffentlicht: (2025)

What can Topology tell us about Logical Complexity?
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

A note on Stone-Čech compactification in ZFA
von: Przybyłek, Michał R.
Veröffentlicht: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)