Categoricity of finitely generated algebraic systems in HF-logic

DOI10.1007/BF00750550zbMath0842.03026MaRDI QIDQ1910286

E. E. Lyutikova, V. Ya. Belyaev, Vladimir N. Remeslennikov

Publication date: 24 July 1996

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

associative ringarithmetic diagramsfinitely generated algebraic systemslogic of hereditarily finite typesweak second-order logic

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Second- and higher-order model theory (03C85) Categoricity and completeness of theories (03C35)

Cites Work

• Elementary group equivalence with the integral length function
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categoricity of finitely generated algebraic systems in HF-logic