Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 771

Preprint Number 771

Previous Next Preprint server

771. Tobias Kaiser
Lebesgue measure theory and integration theory on arbitrary real closed fields

Submission date: 8 September 2014.


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.

Last updated: September 14 2014 12:28 Please send your corrections to: