Definable quotients in d-minimal structures
Logic
2023-11-16 v1
Abstract
We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when there is a definable proper action of a definable group on a locally closed definable subset of , where is the universe.
Cite
@article{arxiv.2311.08699,
title = {Definable quotients in d-minimal structures},
author = {Masato Fujita},
journal= {arXiv preprint arXiv:2311.08699},
year = {2023}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2212.06401