ГлавнаяВикиЭлементарная эквивалентность — Википедия Элементарная эквивалентность Основы теории моделей Теория моделей изучает структуры, которые могут быть интерпретированы как математические объекты. Модель — это структура, которая интерпретирует теорию первого порядка. Элементарная эквивалентность — это свойство двух моделей, которые имеют одинаковую интерпретацию теории. Элементарные структуры и расширения Элементарная подструктура — это структура, которая является подструктурой другой структуры и элементарна с точки зрения теории моделей. Элементарное расширение — это структура, которая является расширением другой структуры и элементарна с точки зрения теории моделей. Критерий Тарски-Воута Критерий Тарски-Воута является необходимым и достаточным условием для элементарной подструктуры. Элементарные вложения Элементарное вложение — это отображение, которое превращает структуру в элементарную подструктуру. Рекомендации по форматированию Статья содержит инструкции по форматированию библиографических описаний и ссылок на источники. Полный текст статьи: Элементарная эквивалентность — Википедия Похожие статьи: Элементарная эквивалентность — Википедия Элементарная эквивалентность — Википедия Гипотеза Воота — Википедия Элементарная абелева группа — Википедия Роберт Лоусон Воут — Википедия ЭЛЕМЕНТАРНО — Википедия Элементарная схема — Википедия Элементарная функция — Википедия, бесплатная энциклопедия Элементарная функция — Википедия, бесплатная энциклопедия U-тест Манна–Уитни — Википедия Elementary proof — Wikipedia Теория (математическая логика) — Википедия Эквивалентность Морита — Википедия Детерминированная система — Википедия Критерий устойчивости Найквиста — Википедия Критерий устойчивости Найквиста — Википедия