Lebesgue measure and integration theory on non-archimedean real closed fields with archimedean value group
Lebesgue measure and integration theory on non-archimedean real closed fields with archimedean value group
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions 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 …