Инвариантные свойства систем формул элементарных аксиоматических теорий

При естественном определении свойств, указанных в заголовке, доказана неразрешимость любых таких свойств в случае достаточной мощности элементарной теории.
B терминах инвариантных свойств сформулировано общее предложение, следствием которого являются некоторые результаты о реализуемых и дедуктивно-общезначимых дизъюнкциях предикатных формул.