Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
scientific article; zbMATH DE number 6996652