Сила (математическая логика)
Относительная сила двух систем формальной логики может быть определена с помощью теории моделей . В частности, логика Говорят, что он так же силен, как логика если бы каждый начальный класс в это начальный класс в . [1]
См. также [ править ]
Ссылки [ править ]
- ^ Хайнц-Дитер Эббингауз Расширенная логика: общая структура в К. Дж. Барвайзе и С. Фефермане , редакторах, Теоретико-модельная логика , 1985 ISBN 0-387-90936-2 стр. 43