This chapter describes the notion of definable compactness for subsets of unit vector V. One of the main results is Theorem 4.2.20, which establishes the equivalence between being definably compact and being closed and bounded. The chapter gives a general definition of definable compactness that may be useful when the definable topology has enough definable types. The o-minimal formulation regarding limits of curves is replaced by limits of definable types. The chapter relates definable compactness to being closed and bounded and shows that the expected properties hold. In particular, the image of a definably compact set under a continuous definable map is definably compact.
Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.