Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Definable compactness
View through CrossRef
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.
Title: Definable compactness
Description:
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.
Related Results
Preliminaries
Preliminaries
This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. ...
The main theorem
The main theorem
This chapter introduces the main theorem, which states: Let V be a quasi-projective variety over a valued field F and let X be a definable subset of V x Γsuperscript Script Small ...
Introduction
Introduction
This book deals with non-archimedean tame topology and stably dominated types. It considers o-minimality as an analogy and reduces questions over valued fields to the o-minimal set...
Minority Rights in the Middle East
Minority Rights in the Middle East
This, the third book of the OUP Series on Minority Rights Law, focusses on minorities in the Middle East. Written at a time of great turmoil and also hope in the region, the book s...
Knowing What Virtue is in Plato’s Meno
Knowing What Virtue is in Plato’s Meno
Noting the distinction between Plato and his character Socrates, I show that the failure of the Socratic project early in the Meno serves as the catalyst for the character to try o...
Models of Peano Arithmetic
Models of Peano Arithmetic
Abstract
Nonstandard models of arithmetic are of interest to mathematicians through the presence of infinite (or nonstandard) integers and the various properties the...
Traditional Cultural Properties
Traditional Cultural Properties
Traditional cultural properties are significant because of the role they play in the retention and transmission of historically rooted beliefs, customs, and practices of a living t...