Mathematics – Logic
Scientific paper
2002-06-19
J. Symbolic Logic 68 (2003), 153--162
Mathematics
Logic
to appear in the Journal of Symbolic Logic
Scientific paper
We 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.
No associations
LandOfFree
Presburger sets and p-minimal fields does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Presburger sets and p-minimal fields, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Presburger sets and p-minimal fields will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-458988