Submission date: 8 September 2014.

Abstract:

We establish for the category of semialgebraic sets and functions on arbitrary real closed fields a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory, o-minimal geometry, valuation theory and the theory of ordered abelian groups. We set up the construction in such a way that it is uniquely determined by data that can be formulated completely in terms of the given real closed field. We apply our integration theory to questions on semialgebraic geometry and analysis in the non-standard setting.

Mathematics Subject Classification: 03C64, 03C98, 06F20, 12J10, 14P10, 28B15, 28E05, 32B20

Keywords and phrases:

Full text arXiv 1409.2241: pdf, ps.