Approximate categoricity of beautiful pairs of randomized theories

About 4 years old · traced to

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.

References

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.