Categoricity of finitely generated algebraic systems in HF-logic
From MaRDI portal
Publication:1910286
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)
associative ring; arithmetic diagrams; finitely generated algebraic systems; logic of hereditarily finite types; weak second-order logic
03C60: Model-theoretic algebra
03C85: Second- and higher-order model theory
03C35: Categoricity and completeness of theories
Cites Work