The bigstar classification-theoretic property for fusions

Let TT be a theory, and for each formula δ(x,y)\delta(x,y) and model MT\mathscr{M}\models T, write MxM^x and MyM^y for the corresponding Cartesian powers and consider the set system

(Mx;{δ(Mx,b):bMy}).\left(M^x;\{\delta(M^x,b):b\in M^y\}\right).

Bigstar property conjecture. There is a classification-theoretic property \bigstar such that: (1) there is a property PP of set systems for which TT has \bigstar if and only if the displayed set system has PP for every formula δ(x,y)\delta(x,y) and every MT\mathscr{M}\models T; (2) both NSOP1\mathrm{NSOP}_1 and NTP2\mathrm{NTP}_2 imply \bigstar; (3) NSOP1\mathrm{NSOP}_1 is equivalent to the conjunction of \bigstar and NSOP\mathrm{NSOP}; (4) \bigstar is preserved by fusions under reasonably general conditions; and (5) every fusion of NIP\mathrm{NIP} theories over a stable base has \bigstar. 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 \bigstar 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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.