To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way

DOI10.26516/1997-7670.2019.29.138zbMath1427.01013OpenAlexW2974283559MaRDI QIDQ2280355

V. V. Bludov, Vladimir Innokent'evich Panteleev, Nikolaĭ Alekseevich Peryazev, Sergeĭ Fedorovich Vinokurov

Publication date: 18 December 2019

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

Full work available at URL: http://mathizv.isu.ru/en/article/file?id=1315

zbMATH Keywords

decidabilityordered groupsextended theories

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of ordered structures (06-03)

Related Items (1)

To the 70th anniversary of the birth of V. V. Bludov

Cites Work

• T-generically ordered groups
• Uniquely orderable groups
• Proof of a lemma on model completeness
• \(\Gamma\)-total-ordenbare und relativ konvexe Untergruppen ordenbarer Gruppen
• Relatively convex subgroups of orderable groups
• Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup
• Expanded elementary and universal theories of lattice-ordered Abelian groups with a finite number of fibres
• Intersection and union of relatively convex subgroups of ordered groups
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• A Class of Right-Orderable Groups
• On solvable R* -groups
• On a family of simple ordered groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way