Lebesgue measure and integration theory on non-Archimedean real closed fields with Archimedean value group

DOI10.1112/PLMS.12070MaRDI QIDQ4608152zbMATH OpenOpenAlexFDO

Authors Tobias Kaiser

Publication date 16 March 2018

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.2241

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Non-Archimedean valued fields (12J25) Semialgebraic sets and related spaces (14P10) Nonstandard measure theory (28E05) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Nonstandard models in mathematics (03H05) Set functions, measures and integrals with values in ordered spaces (28B15)

Abstract: 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 and valuation theory. We set up the construction in such a way that it is determined by a section of the valuation. If the value group is isomorphic to the group of rational numbers the construction is uniquely determined up to isomorphism. The range of the measure and integration is obtained in a controled and tame way from the real closed field we start with. The main example is given by the case of the field of Puiseux series where the range is the polynomial ring in one variable over this field.

Recommendations

• A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\)
• scientific article; zbMATH DE number 2064605
• On a new measure on the Levi-Civita field \(\mathcal{R}\)
• Integration theory for vector valued functions and the Radon-Nikodym theorem in the non-Archimedean context
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank

Cited in

(7)

• A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\)
• Measure theory and Lebesgue-like integration in two and three dimensions over the Levi-Civita field
• A generalized Sard theorem on real closed fields
• Integration on the surreals
• Periods, power series, and integrated algebraic numbers
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• An incompatibility result on non-Archimedean integration

This page was built for publication: Lebesgue measure and integration theory on non-Archimedean real closed fields with Archimedean value group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608152)