Buchumschlag

A $wtt$-introimmune set in \texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cintioli, Patrizio
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03D30
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A computably enumerable many-one degree with no least finite-one degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
von: Gerdes, Peter
Veröffentlicht: (2023)

$Π^0_4$ conservation of Ramsey's theorem for pairs
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

$Π^0_4$ conservation of the Ordered Variable Word theorem
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

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

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

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Conjunctive reducibilities and completeness
von: Chitaia, Irakli, et al.
Veröffentlicht: (2026)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
von: Fukumoto, Yusei
Veröffentlicht: (2025)

A note on the degree structure of primitive recursive m-reducibility
von: Kalmurzayev, Birzhan, et al.
Veröffentlicht: (2023)

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
von: Cole, Joshua
Veröffentlicht: (2024)

Solovay reducibility implies S2a-reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

Variants of Solovay reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

A jump operator on the Weihrauch degrees
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

There is No Composition in the Computable Reducibility Degrees
von: Mourad, Daniel
Veröffentlicht: (2024)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

Martin's Conjecture in the Enumeration Degrees
von: Cordero, Antonio Nakid
Veröffentlicht: (2025)

Introenumerability, autoreducibility, and randomness
von: Li, Ang
Veröffentlicht: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

On Sets That Encode Themselves
von: Em, Taeyoung
Veröffentlicht: (2026)

Kolmogorov Complexity of Attractive Degrees
von: Royer, Tiago
Veröffentlicht: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
von: Song, Sirun, et al.
Veröffentlicht: (2025)

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2025)

Open Problems in Computability Theory and Descriptive Set Theory
von: Barmpalias, George, et al.
Veröffentlicht: (2025)

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
von: Gerdes, Peter M.
Veröffentlicht: (2025)

Contrasting the Halves of an Ahmad Pair
von: Ravishankar, Karthik
Veröffentlicht: (2025)

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

Isolated d.c.e. degrees and $Σ_1$ induction
von: Liu, Yiqun, et al.
Veröffentlicht: (2025)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2025)

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