Zilber's theorem for continuous logic

Let TT be an 0\aleph_0-categorical 0\aleph_0-stable theory in a countable language, and let TPT_P denote its expansion by a predicate PP. The phrase arbitrarily small perturbations of the predicate PP refers to perturbing the predicate by an arbitrarily small amount in the relevant continuous-logic metric.

Zilber's theorem for continuous logic. Whenever TT is an 0\aleph_0-categorical 0\aleph_0-stable theory (in a countable language), TPT_P is 0\aleph_0-categorical up to arbitrarily small perturbations of the predicate PP.

This proposal concerns preservation of approximate 0\aleph_0-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.

Sources & referencesView supporting material

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

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.