Английская Википедия:Abstract model theory

Материал из Онлайн справочника
Версия от 03:52, 28 декабря 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} In mathematical logic, '''abstract model theory''' is a generalization of model theory that studies the general properties of extensions of first-order logic and their models.<ref>''Institution-independent model theory'' by Răzvan Diaconescu 2008 {{ISBN|3-7643-8707-6}} page 3</ref> Abstract model theory provides an approach that allows us to step back and study a wide ran...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models.[1]

Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships.[2] The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem.[3]

In 1974 Jon Barwise provided an axiomatization of abstract model theory.[4]

See also

References

Шаблон:Reflist

Further reading

Шаблон:Mathematical logic


Шаблон:Mathlogic-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Institution-independent model theory by Răzvan Diaconescu 2008 Шаблон:ISBN page 3
  2. ↑ Handbook of mathematical logic by Jon Barwise 1989 Шаблон:ISBN page 45
  3. ↑ Jean-Yves Béziau Logica universalis: towards a general theory of logic 2005 Шаблон:ISBN pages 20–25
  4. ↑ J. Barwise, 1974 Шаблон:Doi-inline, Annals of Mathematical Logic 7:221–265
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Abstract_model_theory&oldid=12921009