Словарь по логике

 

Рекурсивная определимость теории
T2 рекурсивно определяется в T1 Язык(T1)Язык(T2) и существует рекурсивная (по Смирнову) функция µ из Язык(T2) в Язык(T1) такая, что для всякой формулы A Язык(T1) верно, что µ(A)=A, и T2|– (A µ(A)).

© Автор статьи.