The bigstar classification-theoretic property for fusions
The bigstar classification-theoretic property for fusions
Let be a theory, and for each formula and model , write and for the corresponding Cartesian powers and consider the set system
Bigstar property conjecture. There is a classification-theoretic property such that: (1) there is a property of set systems for which has if and only if the displayed set system has for every formula and every ; (2) both and imply ; (3) is equivalent to the conjunction of and ; (4) is preserved by fusions under reasonably general conditions; and (5) every fusion of theories over a stable base has . The conjecture proposes an as-yet-undiscovered classification-theoretic property that would organize the behavior of fusions and relate existing dividing lines; the source gives no definition of or resolution of the proposal.
Sources & referencesView supporting material
Primary source
Alex Kruckman, Minh Chieu Tran and Erik Walsberg, “Interpolative fusions II: Preservation results”, arXiv:2201.03534 (2022).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.