- relativization of quantifiers
- мат. релятивизация кванторов
Большой англо-русский и русско-английский словарь. 2001.
relativization of quantifiers
Смотреть что такое "relativization of quantifiers" в других словарях:
Post's theorem — In computability theory Post s theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. Background The statement of Post s theorem requires several concepts relating to definability and… … Wikipedia
