Approximate categoricity for randomized theories with disintegrated geometry

Let T\mathcal{T} be the class of 0\aleph_0-categorical, 0\aleph_0-stable classical theories in countable languages, and let DT\mathcal{D}\subseteq\mathcal{T} consist of those theories TT such that every strictly minimal set interpretable in TT has disintegrated geometry. Write TRT^R for the randomized theory of TT, and (TR)P(T^R)_P for the theory of beautiful pairs of models of TRT^R. Approximate categoricity conjecture for D\mathcal{D}. If TDT\in\mathcal{D}, then (TR)P(T^R)_P is approximately 0\aleph_0-categorical. The source establishes the opposite behavior for TTDT\in\mathcal{T}\setminus\mathcal{D} and proves the claim for the theory of infinite sets, together with stability results under several permutation-group constructions. The exact extent of the class for which approximate 0\aleph_0-categoricity holds remains open.

Sources & referencesView supporting material

Primary source

James Hanson and Tomás Ibarlucía, “Approximate isomorphism of randomization pairs”, arXiv:2202.04151 (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.