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

Preprint Number 2319

Previous Next Preprint server

2319. Karel Hrbacek and Mikhail G. Katz
Constructing nonstandard hulls and Loeb measures in internal set theories

Submission date: 1 January 2023.


Currently the two popular ways to practice Robinson's nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions relying on external sets. We show that internal frameworks provide successful accounts of nonstandard hulls and Loeb measures. The basic fact this work relies on is that the ultrapower of the standard universe by a standard ultrafilter is naturally isomorphic to a subuniverse of the internal universe.

Mathematics Subject Classification: 26E35

Keywords and phrases:

Full text: pdf, dvi, ps.

Last updated: February 4 2023 22:38 Please send your corrections to: