MODNET
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
E-mail:

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.


Last updated: June 14 2017 11:55 Please send your corrections to: