Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-27T03:57:22.435Z Has data issue: false hasContentIssue false
  • English
  • Français

Some results about Borel sets in descriptive set theory of hyperfinite sets

Published online by Cambridge University Press:  12 March 2014

Boško Živaljević
Boško Živaljević*
Affiliation:
Department of Mathematics, University of Illinois, Urbana, Illinois 61801
*
Department of Mathematics, University of Wisconsin/Platteville, Platteville, Wisconsin 53818
Get access Rights & Permissions [Opens in a new window]

Extract

A remarkable result of Henson and Ross [HR] states that if a function whose graph is Souslin in the product of two hyperfinite sets in an ℵ1 saturated nonstandard universe possesses a certain nice property (capacity) then there exists an internal subfunction of the given one possessing the same property. In particular, they prove that every 1-1 Souslin function preserves any internal counting measure, and show that every two internal sets A and B with ∣A∣/∣B∣ ≈ 1 are Borel bijective. As a supplement to the last-mentioned result of Henson and Ross, Keisler, Kunen, Miller and Leth showed [KKML] that two internal sets A and B are bijective by a countably determined bijection if and only if ∣A∣/∣B∣ is finite and not infinitesimal.

In this paper we first show that injective Borel functions map Borel sets into Borel sets, a fact well known in classical descriptive set theory. Then, we extend the result of Henson and Ross concerning the Borel bijectivity of internal sets whose quotient of cardinalities is infinitely closed to 1. We prove that two Borel sets, to which we may assign a counting measure not equal to 0 or ∞, are Borel bijective if and only if they have the same counting measure ≠0, ∞. This, together with the similar characterization for Souslin and measurable countably determined sets, extends the above-mentioned results from [HR] and [KKML].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 55 , Issue 2 , June 1990 , pp. 604 - 614
Copyright
Copyright © Association for Symbolic Logic 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[H1]Henson, C. W., Analytic sets, Baire sets, and the standard part map, Canadian Journal of Mathematics, vol. 31 (1979), pp. 663–672.CrossRefGoogle Scholar
[H2]Henson, C. W., Unbounded Loeb measures, Proceedings of the American Mathematical Society, vol. 74 (1979), pp. 143–150.CrossRefGoogle Scholar
[H3]Henson, C. W., The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces, this Journal, vol. 39 (1974), pp. 717–731.Google Scholar
[HR]Henson, C. W. and Ross, D., Analytic mappings on hyperfinite sets (to appear).Google Scholar
[KKML]Keisler, H. J., Kunen, K., Miller, A. and Leth, S., Descriptive set theory over hyperfinite sets, this Journal, vol. 54 (1989), pp. 1167–1180.Google Scholar
[M]Moschovakis, Y. N., Descriptive set theory, North-Holland, Amsterdam, 1980.Google Scholar
[R]Rogers, C. A., Analytic sets, Academic Press, New York, 1983.Google Scholar
[St]Steel, J. R., Analytic sets and Borel isomorphisms, Fundamenta Mathematicae, vol. 107 (1980), pp. 83–88.CrossRefGoogle Scholar
[SB]Stroyan, K. D. and Bayod, J. M., Foundations of infinitesimal stochastic analysis, North-Holland, Amsterdam, 1986.Google Scholar