Словарь по логике
Рекурсивная эквивалентность теорий
T
1
и T
2
рекурсивно эквивалентны
T
1
рекурсивно вложима в T
2
и T
2
рекурсивно вложима в T
1
.
© Автор статьи.
T1 рекурсивно вложима в T2 и T2 рекурсивно вложима в T1. T1 рекурсивно вложима в T2 и T2 рекурсивно вложима в T1.