The expressive power of minIST comes from the fact that it allows for the notions of finite sets with unlimited cardinality, and finite subsets of the reals whose distance is at most an infinitesimal from every point in some non-empty open interval.
CITATION STYLE
Herzberg, F. S. (2013). Radically elementary probability theory. In Lecture Notes in Mathematics (Vol. 2067, pp. 7–17). Springer Verlag. https://doi.org/10.1007/978-3-642-33149-7_2
Mendeley helps you to discover research relevant for your work.