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

Материал из Онлайн справочника
Версия от 03:52, 28 декабря 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{Other uses}} In mathematical logic, an '''abstract logic''' is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification.<ref>C. C. Chang and Jerome Keisler ''Model Theory'', 1990 {{ISBN|0-444-88054-2}} page 128</ref>...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Other uses In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification.[1]

Based on Lindström's characterization, first-order logic is, up to equivalence, the only abstract logic that is countably compact and has Löwenheim number ω.[2]

See also

References

Шаблон:Reflist

Шаблон:Mathematical logic

Шаблон:Mathlogic-stub

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

  1. ↑ C. C. Chang and Jerome Keisler Model Theory, 1990 Шаблон:ISBN page 128
  2. ↑ C. C. Chang and Jerome Keisler Model Theory, 1990 Шаблон:ISBN page 132
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Abstract_logic&oldid=12921003