Reducibility of monadic equivalence relations
- 51 Downloads
Each additive cut in the nonstandard natural numbers *ℕ induces the equivalence relation MU on *ℕ defined as xMU y if |x − y| ε U. Such equivalence relations are said to be monadic. Reducibility between monadic equivalence relations is studied. The main result (Theorem 3.1) is that reducibility can be defined in terms of cofinality (or coinitiality) and a special parameter of a cut, called its width. Smoothness and the existence of transversals are also considered. The results obtained are similar to theorems of modern descriptive set theory on the reducibility of Borel equivalence relations.
Key wordsnonstandard analysis additive cut of the hyperintegers monadic equivalence relation κ-determined set κ-determined reducibility width of a cut
Unable to display preview. Download preview PDF.
- 8.E. I. Gordon, A. G. Kusraev, and S. S. Kutateladze, Infinitesimal Analysis (Izd. Inst. Mat. Ross. Akad. Nauk, Novosibirsk, 2001) [in Russian].Google Scholar
- 9.V. A. Uspenskii, What is Nonstandard Analysis? (Nauka, Moscow, 1987) [in Russian].Google Scholar
- 10.T. Lindstrøm, “An invitation to nonstandard analysis,” in Nonstandard Analysis and Its Applications (Cambridge Univ. Press, Cambridge, 1988), pp. 1–105.Google Scholar
- 11.A. Robinson, Nonstandard Analysis (North-Holland, Amsterdam, 1966).Google Scholar
- 13.V. G. Kanovei, “Kolmogorov’s ideas in the theory of operations on sets,” Usp. Mat. Nauk 43(6), 93–128 (1988) [Russ. Math. Surv. 43 (6), 111–155 (1988)].Google Scholar
- 14.K. Čuda and P. Vopenka, “Real and imaginary classes in the alternative set theory,” Comment. Math. Univ. Carolin. 20(4), 639–653 (1979).Google Scholar