Randomized trial proves definable homotopy theorems in mathematics, indicating significant implications in topology.
We prove the definable relative version of the Palais' covering homotopy theorem. Moreover we prove affirmatively the Bredon's covering mapping cylinder conjecture.
No takes yet. Share an insight, caveat, or question.
Tomohiro KAWAKAMI (2007) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: