Work

An infinite branch in a decidable tree

Year: 2018
Type: preprint
Abstract: We consider a structure $\mathcal {M} = \langle \mathbb N, \{Tr,
Language: English
Open Access status: green
OpenAlex ID: W2782044179
Cites:
Cited by: 1
Related to: 10