$G$-invariant definable Tietze extension theorem

Autor:	Fujita, Masato, Kawakami, Tomohiro
Rok vydání:	2024
Předmět:	Mathematics - Logic 03C64
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2404.00853 Zobrazit plný text záznamu View this record from Arxiv