Submission date: 15 November 2023

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 G on a locally closed definable subset X of F^n, where F is the universe.

Mathematics Subject Classification: Primary 03C64, Secondary 54B15, 57S99

Keywords and phrases:

Full text arXiv 2311.08699: pdf, ps.