Categoricity of finitely generated algebraic systems in HF-logic

DOI10.1007/BF00750550MaRDI QIDQ1910286zbMATH OpenFDO

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

Publication date 24 July 1996

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

Full work available at URL https://doi.org/10.1007/BF00750550

zbMATH Keywords

arithmetic diagramsassociative ringfinitely generated algebraic systemslogic of hereditarily finite typesweak second-order logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 88867
• scientific article; zbMATH DE number 2047479
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• scientific article; zbMATH DE number 2145279

Cites work

• Elementary group equivalence with the integral length function
• scientific article; zbMATH DE number 88867 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)

Cited in

(1)

• scientific article; zbMATH DE number 88867 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1910286)