элементарная подмодель

Игры ⚽ Поможем решить контрольную работу

Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма Сколема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
Теорема Лёвенгейма — Теорема Лёвенгейма Скулема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия

Словари и энциклопедии на Академике