Presburger sets and p-minimal fields

Simple item page
dc.creatorCluckers, Raf
dc.date2002-06-19
dc.date.accessioned2026-07-07T04:49:14Z
dc.date.available2026-07-07T04:49:14Z
dc.descriptionWe prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable bijection. We also exhibit a tight connection between the definable sets in an arbitrary p-minimal field and Presburger sets in its value group. We give a negative result about expansions of Presburger structures and prove uniform elimination of imaginaries for Presburger structures within the Presburger language.
dc.descriptionto appear in the Journal of Symbolic Logic
dc.identifierhttps://arxiv.org/abs/math/0206197
dc.identifierhttp://arxiv.org/abs/math/0206197
dc.identifierJ. Symbolic Logic 68 (2003), 153--162
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/64342
dc.subjectLogic
dc.subject03C07
dc.titlePresburger sets and p-minimal fields
dc.typetext

Files

Collections

arXiv