Zilber's theorem for continuous logic

At least 16 years old · documented by

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.

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

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.