Словарь по логике
Погружаемость одной теории в другую
Рекурсивная (по Смирнову) функция µ из языка T
1
в язык T
2
погружает теорию T
1
в T
2
для всякой формулы A языка T
1
верно, что (Т1|–A
Т2|– µ(A)).
© Автор статьи.