Copertina

Hallucination, abstention, and computable inseparability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Imamura, Takuma
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03D80 (Primary), 68T27, 03D20, 03D25 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
di: Kattermann, David, et al.
Pubblicazione: (2025)

Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)

The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

Solovay reducibility implies S2a-reducibility
di: Titov, Ivan
Pubblicazione: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)

A non-computable c.e. closed subset of $[0,1]$
di: Badaev, Serikzhan, et al.
Pubblicazione: (2025)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
di: Gerdes, Peter
Pubblicazione: (2023)

Contrasting the Halves of an Ahmad Pair
di: Ravishankar, Karthik
Pubblicazione: (2025)

Chains and antichains in the Weihrauch lattice
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

Approximability of deep computations
di: Alva, Samson, et al.
Pubblicazione: (2024)

Listing the hyperarithmetical functions
di: Miller, Joseph S., et al.
Pubblicazione: (2026)

A computably enumerable many-one degree with no least finite-one degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)

Strong reducibilities and set theory
di: Schweber, Noah
Pubblicazione: (2024)

Computability for tree presentations of continuum-size structures
di: Block, Jason, et al.
Pubblicazione: (2025)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)

Extending orders to types
di: Baglini, Lorenzo Luperi, et al.
Pubblicazione: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
di: Wang, Shuwei
Pubblicazione: (2026)

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
di: Cipriani, Vittorio, et al.
Pubblicazione: (2022)

Bounded Ramsey's theorem for triples in computability theory
di: Patey, Ludovic, et al.
Pubblicazione: (2026)

Minimal signatures with undecidability of representability by binary relations
di: Hirsch, Robin, et al.
Pubblicazione: (2024)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

Learning Equivalence Relations on Polish Spaces
di: Rossegger, Dino, et al.
Pubblicazione: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
di: Titov, Ivan
Pubblicazione: (2024)

Variants of Solovay reducibility
di: Titov, Ivan
Pubblicazione: (2024)

Weak, strong and mixed extensions of relations to spaces of ultrafilters
di: Gasparro, Leonardo Raffaello Maximilian, et al.
Pubblicazione: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)

Decidable varieties of p-algebras
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

Why the classes P and NP are not well-defined finitarily
di: Anand, Bhupinder Singh
Pubblicazione: (2024)

A note on the degree structure of primitive recursive m-reducibility
di: Kalmurzayev, Birzhan, et al.
Pubblicazione: (2023)

Intuitionism and computing with partial information
di: Ganchev, Hristo, et al.
Pubblicazione: (2026)

Definability over $\mathrm BΣ^0_2$-models
di: Chong, Chi Tat, et al.
Pubblicazione: (2025)

$Ψ$-Spaces and Semi-Proximality
di: Almontashery, Khulod, et al.
Pubblicazione: (2024)

Variants of the chain-antichain principle in reverse mathematics
di: Hughes, Noah A.
Pubblicazione: (2025)