|
Publications > Preprint server > Preprint Number 1696
Preprint Number 1696
1696. Sergei Soprunov There is no maximal decidable expansion of the ( ℕ , < ) structure E-mail: Submission date: 20 November 2019 Abstract: 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: |
| Last updated: March 23 2021 10:21 | Please send your corrections to: |