Noiselessness of the open core without definable integers
Noiselessness of the open core without definable integers
Let be an expansion of , and let be its open core. The structure is type A when it has no dense definable subset of an interval admitting a definable ordering of order type . Noiselessness conjecture. If is type A, then is noiseless. In particular, if expands and does not define , then is noiseless. This is presented as the main conjecture for expansions of the real ordered additive group; its relation to dense -orders and definability of the integers motivates the claim.
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.