What is o-minimality? (Q958486): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Real closed rings. II. Model theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable Sets in Ordered Structures. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4392286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric categories and o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function / rank | |||
Normal rank |
Latest revision as of 22:04, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | What is o-minimality? |
scientific article |
Statements
What is o-minimality? (English)
0 references
5 December 2008
0 references
Let \(\mathbb R\) denote the set of real numbers and let \(W\) be a set of functions, each from some \(\mathbb R^n\) to some \(\mathbb R^m\). Friedman proves that \((\mathbb R,<, 0,1,+,-,\times, W)\) is o-minimal if and only if there exists a least \(V\) such that \(W\subseteq V\) and: \(V\) contains all polynomial functions; it is is closed under compositions; for all \(f,g\) in \(V\), if \(f\) and \(g\) are of the same arity, then \(h(x)=(f(x),g(x))\) is in \(V\); if \(f:\mathbb R^{n+m}\to \mathbb R\) is in \(V\) then there is a \(g\) in \(V\) such that for all \(x\), if \(f(x,y)=0\) for some \(y\), then \(f(x,g(x))=0\); if \(f:\mathbb R\to \mathbb R\) in \(V\) is bounded, then \(f\) has a limit at infinity. The result is then generalized to arbitrary ordered rings \(R\), but to this end the last condition above has to be replaced by: for all \(f: R\to R\) in \(V\) there exist \(x_1<\dots <x_k\in R\), \(k\geq 1\), such that on each of the intervals \((-\infty, x_1), (x_1,x_2),\dots, (x_k,\infty)\), \(f\) is either constant, strictly increasing, or strictly decreasing.
0 references
o-minimality
0 references
ordered rings
0 references
monotonicity theorem
0 references
zero selection
0 references