2016/09/07 by Sam Sanders, Sanders, Sam
Mathematics · #FOS: Mathematics #Functional Equations Stability Results #Logic (math.LO) #Mathematical Dynamics and Fractals #Mathematical and Theoretical Analysis #math.LO
paper · pdf · doi:10.48550/arxiv.1609.01945
arXiv admin note: substantial text overlap with arXiv:1609.01919; text overlap with arXiv:1508.07434
arxiv created 2016/09/07 · openalex publication_date 2016/09/07 · arxiv updated 2016/09/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The Loeb measure is one of the cornerstones of Nonstandard Analysis. The traditional development of the Loeb measure makes use of saturation and external sets. Inspired by [13], we give meaning to special cases of the Loeb measure in the weak fragment \textsfP of Nelson's internal set theory from [1]. Perhaps surprisingly, our definition of the Loeb measure has computational content in the sense of the `term extraction' framework from [1].