Real Algebraic and Analytic Geometry
Submission: 2008, December 28.
Let $\eta=(E, p, Y, F, K)$ be a locally definable fiber bundle and $f, h:X \to Y$ two locally definable maps. If $f$ and $h$ are locally definably homotopic, then $f^*(\eta)$ and $h^*(\eta)$ are locally definably fiber bundle isomorphic.
Mathematics Subject Classification (2000): 14P10,14P20,03C64.
Keywords and Phrases: O-minimal, locally definable sets, locally definable fiber bundles, locally definable homotopic.
Full text, 5p.: dvi 33k, ps.gz 92k, pdf 111k.