2506.00183
A remark on inverse limits of effective subshifts
Sebastián Barbieri, Leo Poirier
correcthigh confidence
- Category
- Not specified
- Journal tier
- Note/Short/Other
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves that for groups with decidable word problem and undecidable domino problem there exists a wEDS that is not a factor of any EDS, via Theorem B (universal EDS ⇔ decidable DP) and Theorem C (existence of universal wEDS). The model reconstructs the same logical engine and further observes the immediate corollary that, in this setting, the universal wEDS itself cannot be a factor of any EDS. This is fully consistent with the paper’s results and proof strategy.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} note/short/other
\textbf{Justification:}
The note cleanly separates wEDS from EDS-factors on a broad class of groups by combining a new universal-wEDS construction with an EDS universality/decidability criterion. The arguments are concise and correct, leaning on standard tools and recent results. Minor clarifications (e.g., explicitly stating the corollary about the universal wEDS in the undecidable-DP case) would enhance clarity.