Publications > Preprint server > Preprint Number 771
Preprint Number 771
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:
|Last updated: September 14 2014 12:28||Please send your corrections to:|