Cover Image

The Conjugacy Relation on One-sided Subshifts is Non-treeable

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Li, Ruiwen
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Existentially closed measure-preserving actions of approximately treeable groups
by: Goldbring, Isaac, et al.
Published: (2025)

Quasi-treeings are treeable: a streamlined proof
by: Zhai, Zhaoshen
Published: (2024)

Comparing the Effective Content of Subshifts
by: Cordero, Antonio Nakid, et al.
Published: (2026)

Conjugacy problem in T-RAAGs
by: Crowe, Gemma, et al.
Published: (2025)

Complete orbit equivalence relation and non-universal Polish groups
by: Ding, Longyun, et al.
Published: (2026)

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

Subshifts of finite symbolic rank
by: Gao, Su, et al.
Published: (2023)

The Skolem Problem in rings of positive characteristic
by: Dong, Ruiwen, et al.
Published: (2025)

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups
by: Dong, Ruiwen
Published: (2024)

Isomorphism of pointed minimal systems is not classifiable by countable structures
by: Li, Ruiwen, et al.
Published: (2024)

Toeplitz subshifts of finite rank
by: Gao, Su, et al.
Published: (2025)

Orbit equivalence of Cantor minimal systems
by: Gao, Su, et al.
Published: (2026)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
by: Mihara, Tomoki
Published: (2026)

Non-strongly Stable Orders Also Define Interesting Simulation Relations
by: Fábregas, Ignacio, et al.
Published: (2024)

Extremely amenable automorphism groups of countable structures
by: Etedadialiabadi, Mahmood, et al.
Published: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

One-dimensional F-definable sets in F((t))
by: Anscombe, Sylvy
Published: (2015)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

Relational Companions of Logics
by: Basu, Sankha S., et al.
Published: (2024)

Relevant Consequence Relations: An Invitation
by: Badia, Guillermo, et al.
Published: (2022)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

The Complexity of Arc-Connectedness Relation in the Plane
by: Uyar, Yusuf
Published: (2025)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Non-Galvin Filters
by: Benhamou, Tom, et al.
Published: (2022)

Equations in wreath products
by: Bartholdi, Laurent, et al.
Published: (2024)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Two Agents, One Prompt, and Your Weight
by: Mossel, Elchanan, et al.
Published: (2025)