有向族中的标准林
Canonical forests in directed families
摘要：
给出了有向集族中可构造集的表示的两个唯一性结果。在不可包装的情况下，瑞士奶酪的分解是独特的。在可包装的情况下，他们不是唯一的，但承认一个准序下的最小分解是唯一的。这两种情况导致VC-极小和准VC-极小理论的一维消除。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
