Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для...

Теорема Зайденберга — Тарского — утверждение о возможности элиминации кванторов в элементарной теории[англ.] вещественных чисел со сложением и умножением...

геометрии. В первом случае им был разработан и успешно применён метод элиминации кванторов, который стал одним из основных методов доказательства разрешимости...

равенства полиномов Китайская теорема об остатках Диофантово уравнение Элиминация кванторов над действительными числами — метод Тарского Алгоритм Ландау Производные...

арифметики Пресбургера Вычисление базиса Грёбнера (в худшем случае) Элиминация кванторов в вещественно замкнутых полях требует как минимум дважды экспоненциальное...

экспоненциально от длины исходного утверждения. Алгоритмическая разрешимость Элиминация кванторов Матиясевич Ю. В. «Алгоритм Тарского» // Компьютерные инструменты...

развивает принцип двойственности в классической логике; использует метод элиминации кванторов для вопросов разрешимости. Джузеппе Пеано продолжил развитие теории...