Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Теорія моделей
Мова
Спостерігати
Редагувати
Основна стаття для цієї категорії:
Теорія моделей
.
Підкатегорії
Показано 2 підкатегорії з 2.
П
Перевірка моделей
(1 С)
У
Універсальна алгебра
(1 К, 11 С)
Сторінки в категорії «Теорія моделей»
Показано 14 сторінок цієї категорії (із 14).
*
Теорія моделей
А
Алгебра (універсальна алгебра)
І
Інтерпретація (логіка)
Н
Нестандартна модель арифметики
Нестандартний аналіз
П
Підструктура (математика)
Повна теорія
Повнота (логіка)
Правильність
Т
Теорема Геделя про повноту
Теорема Льовенгейма — Сколема
Теорема про компактність
Теореми Геделя про неповноту
Ф
Фактор-структура