:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cordero, Antonio Nakid, Scott, I.
Format:	Preprint
Published:	2026
Subjects:	Logic 03D40, 03D28, 37B10
Online Access:	https://arxiv.org/abs/2605.04490
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Martin's Conjecture in the Enumeration Degrees
by: Cordero, Antonio Nakid
Published: (2025)

Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem
by: Avraham-Re'em, Nachi, et al.
Published: (2024)

Subshifts on groups and computable analysis
by: Carrasco-Vargas, Nicanor
Published: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
by: Song, Sirun, et al.
Published: (2025)

Isomorphism Spectra and Computably Composite Structures
by: Lakerdas-Gayle, Joey
Published: (2025)

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

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

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

Algorithmically finite, universal, and $*$-universal groups
by: Andrews, Uri, et al.
Published: (2024)

Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)

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

Ramsey expansions of $Λ$-ultrametric spaces
by: Braunfeld, Samuel
Published: (2017)

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

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
by: Kihara, Takayuki, et al.
Published: (2026)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

The Gamified Katětov order is not linear (in fact, very much not so)
by: Kihara, Takayuki, et al.
Published: (2026)

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

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)

Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
by: Chernikov, Artem, et al.
Published: (2024)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Zero-Temperature Chaos in Bidimensional Models with Finite-Range Potentials
by: Barbieri, Sebastián, et al.
Published: (2022)

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

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

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

Medvedev degrees of subshifts on groups
by: Barbieri, Sebastián, et al.
Published: (2024)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

Convolution semigroups for automorphism dynamics
by: Gannon, Kyle, et al.
Published: (2025)

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Listing the hyperarithmetical functions
by: Miller, Joseph S., et al.
Published: (2026)