Image de couverture de livre

Contrasting the Halves of an Ahmad Pair

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ravishankar, Karthik
Format:	Preprint
Publié:	2025
Sujets:	Logic 03D30 Primary, 03D35 Secondary
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Chains and antichains in the Weihrauch lattice
par: Lempp, Steffen, et autres
Publié: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
par: Aceves-Martínez, Bruno Fernando, et autres
Publié: (2024)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
par: Gerdes, Peter
Publié: (2023)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
par: Cipriani, Vittorio, et autres
Publié: (2022)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
par: Harrington, Leo A., et autres
Publié: (2025)

Solovay reducibility implies S2a-reducibility
par: Titov, Ivan
Publié: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
par: Merkle, Wolfgang, et autres
Publié: (2024)

Iterated jump noncomputability and compactness
par: Dooley, Gavin
Publié: (2025)

The reverse mathematics of bounded Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2025)

Ramsey-like theorems for separable permutations
par: Houérou, Quentin Le, et autres
Publié: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

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

Variants of Solovay reducibility
par: Titov, Ivan
Publié: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
par: Fiori-Carones, Marta, et autres
Publié: (2021)

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

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
par: Gerdes, Peter M.
Publié: (2025)

A non-computable c.e. closed subset of $[0,1]$
par: Badaev, Serikzhan, et autres
Publié: (2025)

Computability for tree presentations of continuum-size structures
par: Block, Jason, et autres
Publié: (2025)

Strong reducibilities and set theory
par: Schweber, Noah
Publié: (2024)

Hallucination, abstention, and computable inseparability
par: Imamura, Takuma
Publié: (2026)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

Minimal signatures with undecidability of representability by binary relations
par: Hirsch, Robin, et autres
Publié: (2024)

Definability over $\mathrm BΣ^0_2$-models
par: Chong, Chi Tat, et autres
Publié: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
par: Song, Sirun, et autres
Publié: (2025)

Compactness and Symmetric Well Orders
par: Dasgupta, Abhijit
Publié: (2022)

Martin's Conjecture in the Enumeration Degrees
par: Cordero, Antonio Nakid
Publié: (2025)

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

A computably enumerable many-one degree with no least finite-one degree
par: Cintioli, Patrizio
Publié: (2026)

Introenumerability, autoreducibility, and randomness
par: Li, Ang
Publié: (2024)

A jump operator on the Weihrauch degrees
par: Andrews, Uri, et autres
Publié: (2024)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
par: Cintioli, Patrizio
Publié: (2026)

A note on the degree structure of primitive recursive m-reducibility
par: Kalmurzayev, Birzhan, et autres
Publié: (2023)

Conjunctive reducibilities and completeness
par: Chitaia, Irakli, et autres
Publié: (2026)

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
par: Cintioli, Patrizio
Publié: (2026)

The singleton degrees of the $Σ^0_2$ sets are not dense
par: Kent, Thomas F., et autres
Publié: (2024)