Submission date: 12 June 2017

Abstract:

We show that in any nontrivial Hahn field with truncation as a primitive operation we can interpret the monadic second-order logic of the additive monoid of natural numbers and are thus undecidable. We also specify a definable binary relation on such a structure that has SOP and TP.

Mathematics Subject Classification: 03C45, 03C64

Keywords and phrases:

Full text arXiv 1706.03722: pdf, ps.