Approximate categoricity of beautiful pairs of randomized theories

Let QQ be an 0\aleph_0-categorical, 0\aleph_0-stable theory in a countable language, and let QPQ_P denote the theory of beautiful pairs of models of QQ. Approximate categoricity conjecture. The theory QPQ_P is approximately 0\aleph_0-categorical. This conjecture proposes an approximate analogue of the characterization of strongly finitely based theories by 0\aleph_0-categoricity of their theories of beautiful pairs; it is motivated by examples where exact 0\aleph_0-categoricity fails but approximate 0\aleph_0-categoricity holds. Its general status is not resolved in the supplied source.

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.