There is no maximal decidable expansion of the ⟨N,{<}⟩ structure
Sergei Soprunov
所有作者
Sergei Soprunov
文献摘要
We are going to prove that if the theory of a structure $\mathcal M=\langle
N, \Sigma \rangleisdecidableandthestandardorder<$ on natural
numbers N is definable in M, then there is a nontrivial
decidable expansion of M