2 papers
math.LO2019
There is no maximal decidable expansion of the structure
Sergei Soprunov
We are going to prove that if the theory of a structure is decidable and the standard order on natural numbers is definab…
math.LO2018
An infinite branch in a decidable tree
S. F. Soprunov
We consider a structure , where the relation with a parameter defines a family of trees on and …