Cover Image

The subTuring degrees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kihara, Takayuki, Ng, Keng Meng
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Many-one reducibility with realizability
by: Kihara, Takayuki
Published: (2024)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
by: Kihara, Takayuki
Published: (2022)

Degrees of incomputability, realizability and constructive reverse mathematics
by: Kihara, Takayuki
Published: (2020)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

Finite final segments of the d.c.e. Turing degrees
by: Lempp, Steffen, et al.
Published: (2024)

What can Topology tell us about Logical Complexity?
by: Kihara, Takayuki, et al.
Published: (2026)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

Degree spectra of homeomorphism types of compact Polish spaces
by: Hoyrup, Mathieu, et al.
Published: (2020)

Fagin's Theorem for Semiring Turing Machines
by: Badia, Guillermo, et al.
Published: (2025)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
by: Sung, Miara
Published: (2026)

Primitive recursive categoricity spectra of functional structures
by: Bazhenov, Nikolay, et al.
Published: (2026)

Primitive recursive categoricity spectra
by: Bazhenov, Nikolay, et al.
Published: (2026)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

Further remarks on the dual negation in team logics
by: Anttila, Aleksi
Published: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Denotational semantics driven simplicial homology?
by: Barbarossa, Davide
Published: (2024)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)