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

Preprint Number 1236

Previous Next Preprint server

1236. Santiago Camacho
Truncation in Hahn Fields is Undecidable and Wild

Submission date: 12 June 2017


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.

Last updated: March 23 2021 09:20 Please send your corrections to: