Модельдер теориясы математикалық логиканың математикалық модельдерді зерттейтін саласы 20 ғасырдың басында Модельдер тео

Модельдер теориясы– математикалық логиканың математикалық модельдерді зерттейтін саласы. 20 ғасырдың басында Модельдер теориясының негізін қалайтын екі теорема дәлелденген: 1. Егер 1-ретті логиканың сөйлемдер жиынының әрбір ақырлы ішкі жиынының моделі табылса, онда оның да моделі табылады (К.Гедель, А.И. Мальцев) 2. Ақырсыз моделі бар 1-ретті саналымды теорияның кез келген ақырсыз қуатты моделі табылады (Л.Левенгейм, Т.Сколем). Қазақстанда А.Тайманов ұйымдастырған модельдер теориясы мектебінің өкілдері тұрақты теориялардың модельдері жайындағы көптеген ғылыми нәтижелерге қол жеткізді.

Дереккөздер

Кейслер Г., Чэн Ч.Ч., Теория моделей, М., 1977; Мустафин Т.Г., Стабильные теории, Қарағанды, 1981; сонікі, Число моделей теорий, Қарағанды, 1983. Е. Байсалов

Бұл — мақаланың бастамасы.
Бұл мақаланы толықтырып, дамыту арқылы, Уикипедияға көмектесе аласыз.
Бұл ескертуді дәлдеп ауыстыру қажет.

[1] Кейслер Г., Чэн Ч.Ч., Теория моделей, М., 1977; Мустафин Т.Г., Стабильные теории, Қарағанды, 1981; сонікі, Число моделей теорий, Қарағанды, 1983. Е. Байсалов