An infinite branch in a decidable tree

2018/01/01 by S. F. Soprunov, Soprunov, S. F.
Computer Science · #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1801.00423

openalex publication_date 2018/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We consider a structure \mathcal M = ⟨ \mathbb N, \Tr,

Related

• Infinite trees
• Branch-Continuous Tree Algebras
• A locally finite tree that behaves like an infinite star
• A \mathbb Natural Avenue
• Tree languages and branched groups