semialgebraic set
1Semialgebraic set — In mathematics, a semialgebraic set is a subset S of real n dimensional space defined by a finite sequence of polynomial equations and inequalities; or any finite union of such sets. Such sets are studied as an extension of real algebraic… …
2Semialgebraic space — In mathematics, especially in real algebraic geometry, a semialgebraic space is a space which is locally isomorphic to a semialgebraic set.DefinitionLet U be an open subset of R n for some n . A semialgebraic function on U is defined to be a… …
3Tarski–Seidenberg theorem — In mathematics, the Tarski–Seidenberg theorem states that a set in n +1 dimensional space defined by polynomial identities and inequalities can be projected down onto n dimensional space, and the resulting set is still definable in terms of… …
4Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …
5List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …
6Stengle's Positivstellensatz — In mathematics, Stengle s Positivstellensatz characterizes polynomials which are positive on a given semialgebraic set over the real numbers, or more generally, any real closed field. It can be thought of as an ordered analogue of Hilbert s… …
7o-minimal theory — In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o minimal structure if and only if every definable subset X ⊂ M (with parameters taken from… …
8O-minimal theory — In mathematical logic, and more specifically in model theory, a totally ordered structure ( M , lt;,...) is o minimal if and only if every definable set X sub; M (with parameters) can be realized as a finite union of intervals and points.A theory …
9Whitney conditions — In differential topology, a branch of mathematics, the Whitney conditions are conditions on a pair of submanifolds of a manifold introduced by Hassler Whitney in 1965. A finite filtration by closed subsets F i of a smooth manifold such that the… …
