Arithmetic definability by formulas with two quantifiers
scientific article