Словарь по логике
Рекурсивная вложимость теории
T
1
рекурсивно вложима в T
2
е.т.е. существуют рекурсивные (по Смирнову) функции µ
1
и µ
2
такие, что
1. T
1
|– A => T
2
|– µ
1
(A);
2. T
2
|– A => T
1
|– µ
2
(A);
3. T
1
|– A
µ
2
(µ
1
(A)).
© Автор статьи.
µ2(µ1(A)).