-
English
-
Russian
-
English
-
Russian
Axiomatizability
Translation axiomatizability into russian
axiomatizability
Noun
The axiomatizability of a theory determines how it can be expressed in a formal system.
Аксиоматизируемость теории определяет, как она может быть выражена в формальной системе.
Definitions
axiomatizability
Noun
The quality or state of being able to be expressed or formulated as a set of axioms.
The axiomatizability of a mathematical theory determines how it can be systematically developed from basic principles.
Idioms and phrases
finite axiomatizability
The finite axiomatizability of a theory is an important property in mathematical logic.
конечная аксиоматизируемость
Конечная аксиоматизируемость теории является важным свойством в математической логике.
problem of axiomatizability
The problem of axiomatizability often arises in discussions of set theory.
проблема аксиоматизируемости
Проблема аксиоматизируемости часто возникает в обсуждении теории множеств.
degree of axiomatizability
Researchers analyze the degree of axiomatizability of various algebraic structures.
степень аксиоматизируемости
Исследователи анализируют степень аксиоматизируемости различных алгебраических структур.
criteria for axiomatizability
There are several criteria for axiomatizability that must be satisfied.
критерии аксиоматизируемости
Существует несколько критериев аксиоматизируемости, которым необходимо соответствовать.
limitations of axiomatizability
The limitations of axiomatizability are a central topic in model theory.
ограничения аксиоматизируемости
Ограничения аксиоматизируемости являются центральной темой в теории моделей.
Examples
Axiomatizability of radical and semisimple classes of modules and Abelian groups
Об аксиоматизируемости радикальных и полупростых классов модулей и абелевых групп
Here one should note research into the elementary theory of classes of models, in particular, decidability questions in these theories, axiomatizability of classes of models, isomorphism of models, and questions of categoricity and completeness of classes of models.
Здесь можно отметить исследования по элементарным теориям классов моделей, в частности вопросы разрешимости этих теорий, аксиоматизируемость классов моделей, изоморфизм моделей, вопросы категоричности и полноты классов моделей.