Copertina

Comparing the Effective Content of Subshifts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cordero, Antonio Nakid, Scott, I.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03D40, 03D28, 37B10
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Subshifts on groups and computable analysis
di: Carrasco-Vargas, Nicanor
Pubblicazione: (2025)

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

Isomorphism Spectra and Computably Composite Structures
di: Lakerdas-Gayle, Joey
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

Ramsey expansions of $Λ$-ultrametric spaces
di: Braunfeld, Samuel
Pubblicazione: (2017)

Fundamental sequences based on localization
di: Wilken, Gunnar
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)

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

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

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

Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)

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

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

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

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

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
di: Bahl, Rohan
Pubblicazione: (2024)

On a Conjecture Regarding the Mouse Order for Weasels
di: Kruschewski, Jan, et al.
Pubblicazione: (2022)

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