Building on work of the first author and Kartas, we identify the elementary class generated by all perfectoid fields of fixed residue characteristic pp in the language of rings.
生成讲解博客的中文版本
生成AI智能校验的中文版本