Timeline for Hyperfinite set containing the reals, with specified upper bound on internal cardinality?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2013 at 17:51 | vote | accept | Alexander Pruss | ||
| Nov 8, 2012 at 17:51 | comment | added | Andreas Blass | My recollection (perhaps faulty after all these years) is that some of the early work on nonstandard analysis used "richness" conditions that varied from one paper to another. I believe that some of these were essentially saturation weakened to allow only parameters from the standard model, so that I couldn't use the parameter $n$ in my answer. | |
| Nov 8, 2012 at 16:04 | comment | added | Joel David Hamkins | Ramiro, one answer to your question could be that there are advantages to building $\mathbb{R}^\ast$ as an ultrapower by an ultrafilter on $\mathbb{N}$, and these are not supersaturated. | |
| Nov 8, 2012 at 15:18 | comment | added | Ramiro de la Vega | Andreas, do you know a context in which having less saturation is better/important/useful? I agree that in principle one could have less saturation, but I´m wondering if you really meant the "sometimes used in NSA". | |
| Nov 8, 2012 at 14:12 | history | answered | Andreas Blass | CC BY-SA 3.0 |