Элементарная эквивалентность

• Основы теории моделей

  • Теория моделей изучает структуры, которые могут быть интерпретированы как математические объекты. 
  • Модель — это структура, которая интерпретирует теорию первого порядка. 
  • Элементарная эквивалентность — это свойство двух моделей, которые имеют одинаковую интерпретацию теории. 

• Элементарные структуры и расширения

  • Элементарная подструктура — это структура, которая является подструктурой другой структуры и элементарна с точки зрения теории моделей. 
  • Элементарное расширение — это структура, которая является расширением другой структуры и элементарна с точки зрения теории моделей. 

• Критерий Тарски-Воута

  • Критерий Тарски-Воута является необходимым и достаточным условием для элементарной подструктуры. 

• Элементарные вложения

  • Элементарное вложение — это отображение, которое превращает структуру в элементарную подструктуру. 

• Рекомендации по форматированию

  • Статья содержит инструкции по форматированию библиографических описаний и ссылок на источники.