Расширение с помощью определений
- Консервативное расширение теории T включает введение новых символов отношений и функциональных символов.
- Расширение по определениям T является последовательным введением символов отношений и функциональных символов.
- Расширения по определениям T являются консервативными продолжениями исходной теории T.
- Для любой формулы ψ от T′ можно составить формулу ψ∗ от T, называемую переводом ψ в T.
- Такие формулы не уникальны, но можно доказать их эквивалентность в T.
- Примеры включают использование символов бинарного отношения, констант и функциональных символов в теориях первого порядка.
- Все эти символы фактически относятся к расширениям по определению ZF.
Полный текст статьи: