NIP preservation for the completion and original structure
NIP preservation for the completion and original structure
Let be a dense archimedean ordered abelian group, let be an expansion of it, and let be the completion structure used in the paper. Completion NIP conjecture. If is NIP, then the pair is NIP. This would reduce the study of NIP expansions of dense archimedean ordered groups to NIP expansions of ; the paper notes that the conjecture likely requires tools beyond those currently available.
Sources & referencesView supporting material
Primary source
Erik Walsberg, “Externally definable quotients and NIP expansions of the real ordered additive group”, arXiv:1910.10572 (2020).
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
Sign in to submit a solution.
No solutions have been posted yet.