Canonical forests in directed families
classification
🧮 math.LO
keywords
uniquecasedirectedsetsadmitcanonicalcasescheese
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.