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

 

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

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