Canonical forests in directed families

Details Canonical forests in directed families Canonical forests in directed families

2011-11-11

arxiv.org/abs/1111.2843v2

Mathematics

Logic

12 pages, 2 figures

Scientific paper

Two uniqueness results on representations of sets constructible in a directed family of sets are given. In the unpackable case, swiss cheese decompositions are unique. In the packable case, they are not unique but admit a quasi-ordering under which the minimal decomposition is unique. Both cases lead to a one-dimensional elimination of imaginaries in VC-minimal and quasi-VC-minimal theories.

Affiliated with

Also associated with

No associations

Rating

Canonical forests in directed families 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 Canonical forests in directed families, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Canonical forests in directed families will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-2567