Линдстрем теоремасы - Lindströms theorem - Wikipedia

Жылы математикалық логика, Линдстрем теоремасы (швед логигінің есімімен аталған Линдстрем, оны 1969 жылы кім шығарды) дейді бірінші ретті логика болып табылады ең күшті логика[1] (белгілі бір шарттарды қанағаттандыру, мысалы. жабу астында классикалық теріске шығару ) екеуінің де болуы (есептелетін) ықшамдық қасиеті және (төмен) Лёвенхайм-Школем меншігі.[2]

Линдстрем теоремасы, мүмкін, кейінірек белгілі болған нәтиженің ең жақсы нәтижесі дерексіз модель теориясы,[3] оның негізгі ұғымы дерексіз логика;[4] неғұрлым жалпы түсінік мекеме кейінірек енгізілді, ол модельдің жиынтық-теориялық түсінігінен а-ға ауысады санат - теориялық.[5] Линдстрем бұған дейін бірінші ретті логиканы кеңейту кезінде ұқсас нәтижеге қол жеткізген Линдстрем өлшемдері.[6]

Линдстрем теоремасы басқа логикалық жүйелерге, атап айтқанда модальды логикаға дейін кеңейтілді Йохан ван Бентем және Себастьян Энквист.

Ескертулер

  1. ^ Мағынасында Гайнц-Дитер Эббингауз Кеңейтілген логика: жалпы негіз жылы K. J. Barwise және С.Феферман, редакторлар, Модельдік-теоретикалық логика, 1985 ISBN  0-387-90936-2 43 бет
  2. ^ Философиялық логиканың серігі Дейл Джакетт 2005 ж ISBN  1-4051-4575-7 329 бет
  3. ^ Чен Чун Чанг; Х. Джером Кейслер (1990). Модельдік теория. Elsevier. б. 127. ISBN  978-0-444-88054-3.
  4. ^ Жан-Ив Безиау (2005). Logica universalis: логиканың жалпы теориясына қарай. Бирхязер. б. 20. ISBN  978-3-7643-7259-0.
  5. ^ Дов М. Ғаббай, ред. (1994). Логикалық жүйе дегеніміз не?. Clarendon Press. б. 380. ISBN  978-0-19-853859-2.
  6. ^ Джуко Ванянен, Линдстрем теоремасы

Пайдаланылған әдебиеттер