| Czech |
| has gloss | ces: Postova věta |
| lexicalization | ces: Postova věta |
| Persian |
| has gloss | fas: در نظریهٔ محاسبهپذیری قضیهٔ پست، نامگرفته از امیل پست، رابطهٔ بینِ سلسلهمراتب حسابی و درجهٔ تورینگ را نشان میدهد. |
| lexicalization | fas: قضیه پست |
| French |
| has gloss | fra: Ce théorème fait le lien entre hiérarchie arithmétique et degré de Turing. Théorème (Post): pour tout n>0 * B appartient à \Sigma_n+1} si et seulement si B est récursivement énumérable avec oracle \Pi_n (ou \Sigma_n). * \emptyset^(n)}, c'est-à-dire le n-ième degré de Turing après \emptyset, est \Sigma_n-complet. |
| lexicalization | fra: Théorème de post |
| Japanese |
| has gloss | jpn: ポストの定理（英: Post's theorem）は、再帰理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。 |
| lexicalization | jpn: ポストの定理 |
| Russian |
| has gloss | rus: Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые сформулирован американским математиком Эмилем Постом. |
| lexicalization | rus: Критерий Поста |