### References & Citations

# Mathematics > Logic

# Title: There is no maximal decidable expansion of the $\langle \mathbb{N} ,\{ < \} \rangle$ structure

(Submitted on 20 Nov 2019 (v1), last revised 29 Nov 2022 (this version, v3))

Abstract: We are going to prove that if the theory of a structure $\mathcal M=\langle \mathbb{N}, \Sigma \rangle$ is decidable and the standard order $<$ on natural numbers $\mathbb{N}$ is definable in $\mathcal M$, then there is a nontrivial decidable expansion of $\mathcal M$

## Submission history

From: Sergei F Soprunov [view email]**[v1]**Wed, 20 Nov 2019 17:43:52 GMT (11kb)

**[v2]**Tue, 24 Dec 2019 07:39:06 GMT (11kb)

**[v3]**Tue, 29 Nov 2022 11:00:16 GMT (0kb,I)

Link back to: arXiv, form interface, contact.