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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have