Null- and Positivstellensätze for generalized real closed fields (Q1380044): Difference between revisions

The author transfers Nullstellensätze und Positivstellensätze into the context of \(L\)-real closed fields. After giving the basic facts on valuation theory and model theory generalized real closed fields needed in this paper, he proves an abstract version of the Nullstellensatz (\S 2), which corresponds to the Artin-Schreier theorem for real closed fields. In order to obtain a concrete version he characterizes the \(L\)-real prime ideals of an affine \(R\)-algebra. To achieve this, he first describes admissible orderings of an extension field \(F\supset R\) and then shows the \(R\) is existentially closed in \(F\) iff a certain module of \(F\) is anisotropic (\S 3). These facts are used in \S 5 to prove a concrete version of the Nullstellensatz for \(L\)-real closed fields (5.5). Similarly he approaches the proof of the Positivstellensatz (7.4) by first proving basic results on admissible order fans (\S 4).