Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1696

Preprint Number 1696

Previous Next Preprint server

1696. Sergei Soprunov
There is no maximal decidable expansion of the ( ℕ , < ) structure

Submission date: 20 November 2019


We are going to prove that if the theory of a structure M= ( ℕ, Σ ) is decidable and the standard order < on natural numbers ℕ is definable in M, then there is a nontrivial decidable expansion of M.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1911.09059: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: