Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories

&
Bulletin of Symbolic Logic 29 (1):97-127 (2023)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2022.43

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A remark on uniform spaces with invariant nonstandard hulls.Nader Vakil & Roozbeh Vakil - 2005 - Mathematical Logic Quarterly 51 (6):610-612.
σ-homomorphisms from the Borel σ-algebra into the Loeb σ-algebra.Hermann Render - 2001 - Annals of Pure and Applied Logic 111 (1-2):15-21.
Internal Approach to External Sets and Universes: Part 3: Partially Saturated Universes.Vladimir Kanovei & Michael Reeken - 1996 - Studia Logica 56 (3):293-322.
Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions.Laurent Vanderputten - 2002 - Mathematical Logic Quarterly 48 (3):379-390.
Measures and forking.H. Jerome Keisler - 1987 - Annals of Pure and Applied Logic 34 (2):119-169.
Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.
F-products and nonstandard hulls for semigroups.J. Kellner - 2004 - Mathematical Logic Quarterly 50 (1):18.
Loeb Measure from the Point of View of a Coin Flipping Game.Vladimir Kanovei & Michael Reeken - 1996 - Mathematical Logic Quarterly 42 (1):19-26.
Internal laws of probability, generalized likelihoods and Lewis' infinitesimal chances–a response to Adam Elga.Frederik Herzberg - 2007 - British Journal for the Philosophy of Science 58 (1):25-43.
Distinguishing three strong saturation properties in nonstandard analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
Internal Approach to External Sets and Universes: Part 2. External Universes over the Universe of Bounded Set Theory.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (3):347-376.
Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.
Neocompact quantifier elimination in structures based on Banach spaces.Stefano Baratella & Siu-Ah Ng - 2001 - Annals of Pure and Applied Logic 111 (1-2):115-143.
Compactness of Loeb spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.

Analytics

Added to PP
2023-01-05

Downloads
6 (#1,475,089)

6 months
3 (#1,020,910)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references