$G$-invariant definable Tietze extension theorem
Logic
2026-01-09 v1
Abstract
A -invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group acts definably and continuously on the definable set.
Cite
@article{arxiv.2404.00853,
title = {$G$-invariant definable Tietze extension theorem},
author = {Masato Fujita and Tomohiro Kawakami},
journal= {arXiv preprint arXiv:2404.00853},
year = {2026}
}