|
This article is cited in 2 scientific papers (total in 2 papers)
Undecidability of the elementary theory of groups of measure-preserving transformations
A. V. Mitin M. V. Lomonosov Moscow State University
Abstract:
The undecidability of the elementary theory of the automorphism group for a Lebesgue space is proved. It is shown that arithmetic can be interpreted in this theory. The technique of proof can be carried over to certain other groups.
Received: 09.06.1995
Citation:
A. V. Mitin, “Undecidability of the elementary theory of groups of measure-preserving transformations”, Mat. Zametki, 63:3 (1998), 414–420; Math. Notes, 63:3 (1998), 363–369
Linking options:
https://www.mathnet.ru/eng/mzm1297https://doi.org/10.4213/mzm1297 https://www.mathnet.ru/eng/mzm/v63/i3/p414
|
|