Keywords: 03G27; 03B25; 03G15; 03B60; Abstract algebraic logic; Leibniz hierarchy; Frege hierarchy Leibniz congruence; Decidability; Diophantine equations; Relation algebras;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B25; 03F25; 03F30; 03F45Interpretability; Provability Logic; Second Incompleteness Theorem
Følner functions and the generic Word Problem for finitely generated amenable groups
Keywords: 20F10; 03D40; 43A07; 03B25; Discrete amenable groups; Effective amenability; Følner functions; Word Problem; Generic computability; Generic Equality Problem;
On the decidability of the theory of modules over the ring of algebraic integers
Keywords: primary; 03B25; 03C98; secondary; 13C11; Ring of algebraic integers; Decidability of the theory of modules;
Keywords: 03B25; 03C10; 11U05Decidability; Existential theory; Laurent polynomials
Interpreting the arithmetic in Thompson’s group FF
Keywords: 20F65; 03B25; 03C60
Free abelian lattice-ordered groups
Keywords: 03B25; 06F20; 20F60; Free abelian lattice-ordered groups; Elementary equivalence; Decidability; Simplices;