A G-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group G acts definably and continuously on the definable set.
No takes yet. Share an insight, caveat, or question.
Fujita et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: