Switch to: References

Add citations

You must login to add citations.
  1. Fundamental group in o-minimal structures with definable Skolem functions.Bruno Dinis, Mário J. Edmundo & Marcello Mamino - 2021 - Annals of Pure and Applied Logic 172 (8):102975.
    In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allow us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark