scientific article

zbMath0776.03014MaRDI QIDQ4015766

Vladimir N. Remeslennikov, Alexei G. Myasnikov

Publication date: 16 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\omega\)-logicweak second-order logictwo- based modelweak logic of finite types

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Second- and higher-order model theory (03C85) Logic on admissible sets (03C70)

Related Items

Categoricity of finitely generated algebraic systems in HF-logic