Какое влияние оказала работа Альфреда Тарского на развитие математической логики?

Работа Альфреда Тарского оказала значительное влияние на развитие математической логики и оснований математики. dic.academic.ru Некоторые аспекты этого влияния:

• Разработка семантической концепции истинности. iphlib.ru dic.academic.ru Тарский показал, что для любого языка можно определить предикат истинности, который доказуемо применим ко всем истинным предложениям языка. iphlib.ru dic.academic.ru Эта концепция установила границы и познавательную ценность формализации, уточнила языковые выражения, соответствующие классической концепции истинности. iphlib.ru
• Разработка метода элиминации кванторов. ru.ruwiki.ru ru.wikipedia.org Этот метод стал одним из основных методов доказательства разрешимости теорий первого порядка. ru.ruwiki.ru
• Разработка теории моделей. plato.stanford.edu dic.academic.ru Тарский заложил в эту дисциплину её классическую основу. plato.stanford.edu Теория моделей стала автономной математической дисциплиной, уходящей корнями не только в алгебру логики, но и в абстрактную алгебру. plato.stanford.edu
• Возрождение алгебры отношений. plato.stanford.edu В статье 1941 года «Об исчислении отношений» Тарский изложил формальную логику, основанную на разрешении количественной оценки как элементов, так и отношений. plato.stanford.edu
• Влияние на формирование философско-методологических теорий. iphlib.ru dic.academic.ru Результаты Тарского повлияли на концепции, предложенные в 30–50-х годах, в частности на работы К. Айдукевича, К. Поппера, Р. Карнапа. iphlib.ru dic.academic.ru

Методы Тарского и его теоретико-модельная техника стали частью современного логического аппарата, их изложение можно встретить на страницах практически каждой современной книги по логике. iphlib.ru dic.academic.ru