Abstract
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.
Similar content being viewed by others
References
H. J. Keisler, K. Kunen, A. Miller, and S. Leth, “Descriptive set theory over hyperfinite sets,” J. Symbolic Logic 54(4), 1167–1180 (1989).
H. J. Keisler and S. C. Leth, “Meager sets on the hyperfinite time line,” J. Symbolic Logic 56(1), 71–102 (1991).
R. Jin, “Existence of some sparse sets of nonstandard natural numbers,” J. Symbolic Logic 66(2), 959–973 (2001).
V. Kanovei and M. Reeken, “Borel and countably determined reducibility in nonstandard domain,” Monatsh. Math. 140(3), 197–231 (2003).
V. Kanovei and M. Reeken, Nonstandard Analysis, Axiomatically (Springer, Berlin, 2004).
G. Hjorth, Classification and Orbit Equivalence Relations (AMS, Providence, RI, 2000).
A. S. Kechris, “New directions in descriptive set theory,” Bull. Symbolic Logic 5(2), 161–174 (1999).
E. I. Gordon, A. G. Kusraev, and S. S. Kutateladze, Infinitesimal Analysis (Izd. Inst. Mat. Ross. Akad. Nauk, Novosibirsk, 2001) [in Russian].
V. A. Uspenskii, What is Nonstandard Analysis? (Nauka, Moscow, 1987) [in Russian].
T. Lindstrøm, “An invitation to nonstandard analysis,” in Nonstandard Analysis and Its Applications (Cambridge Univ. Press, Cambridge, 1988), pp. 1–105.
A. Robinson, Nonstandard Analysis (North-Holland, Amsterdam, 1966).
C. C. Chang and H. J. Keisler, Model Theory (North-Holland, Amsterdam, 1973; Mir, Moscow, 1977).
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)].
K. Čuda and P. Vopenka, “Real and imaginary classes in the alternative set theory,” Comment. Math. Univ. Carolin. 20(4), 639–653 (1979).
C. W. Henson, “Unbounded Loeb measures,” Proc. Amer. Math. Soc. 64(1), 143–150 (1979).
Author information
Authors and Affiliations
Additional information
Original Russian Text © V. G. Kanovei, V. A. Lyubetskii, M. Reeken, 2007, published in Matematicheskie Zametki, 2007, Vol. 81, No. 6, pp. 842–854.
Rights and permissions
About this article
Cite this article
Kanovei, V.G., Lyubetskii, V.A. & Reeken, M. Reducibility of monadic equivalence relations. Math Notes 81, 757–766 (2007). https://doi.org/10.1134/S0001434607050239
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1134/S0001434607050239