Zilber's theorem for continuous logic
Let be an -categorical -stable theory in a countable language, and let denote its expansion by a predicate . The phrase arbitrarily small perturbations of the predicate refers to perturbing the predicate by an arbitrarily small amount in the relevant continuous-logic metric.
Zilber's theorem for continuous logic. Whenever is an -categorical -stable theory (in a countable language), is -categorical up to arbitrarily small perturbations of the predicate .
This proposal concerns preservation of approximate -categoricity under the predicate expansion associated with beautiful pairs. The preceding construction shows the desired perturbation phenomenon in a specific Banach-lattice example, while the general assertion is left unresolved in the supplied text.
References
Primary source
Itaï Ben Yaacov, Alexander Berenstein and C. Ward Henson, “Almost indiscernible sequences and convergence of canonical bases”, arXiv:0907.4508 (2013).
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
No solutions have been posted yet.