加载中…
Considering a particular case of a problem posed by Saharon Shelah, we prove that the automorphism group of an infinitely generated free nilpotent group N first-order interprets the full second-order theory of the set rank(N) in the empty language.

生成讲解博客的中文版本

生成AI智能校验的中文版本