Сила (математическая логика) - Strength (mathematical logic)

Относительная сила двух систем формальная логика можно определить через теория моделей. В частности, логика ${\displaystyle \alpha }$ считается сильным, как логика ${\displaystyle \beta }$ если каждый начальный класс в ${\displaystyle \beta }$ это элементарный класс в ${\displaystyle \alpha }$.^[1]

Смотрите также

• Абстрактная логика
• Теорема Линдстрема

Рекомендации

1. Хайнц-Дитер Эббингаус Расширенная логика: общие рамки в К. Дж. Барвайз и С. Феферман, редакторы, Теоретико-модельная логика, 1985 ISBN  0-387-90936-2 стр.43