Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs

DOI10.1016/J.CRMA.2007.06.003MaRDI QIDQ2643485zbMATH OpenOpenAlexFDO

Authors Anatole Khelif

Publication date 23 August 2007

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.crma.2007.06.003

zbMATH Keywords

commutative ringsfinitely generated structuremetabelian groupsquasi-finitely axiomatizable

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Applications of logic to group theory (20A15)

Recommendations

• Bi-interpretability of some monoids with the arithmetic and applications
• Regular bi-interpretability of Chevalley groups over local rings
• scientific article; zbMATH DE number 3987558
• Bicompletion of quasi-bitopological near-rings and quasi-bitopological \(N\)-groups
• scientific article; zbMATH DE number 4114879
• scientific article; zbMATH DE number 3899200
• scientific article; zbMATH DE number 5863926
• Independent axiomatizability of quasi-varieties of soluble groups
• Biextensions de faisceaux de groupes
• scientific article; zbMATH DE number 3210060

Cites work

• Describing Groups
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 2032403 (Why is no real title available?)
• scientific article; zbMATH DE number 1357424 (Why is no real title available?)
• Infinite finitely generated fields are biinterpretable with ℕ
• Quasi-finitely axiomatizable groups and groups which are prime models
• Separating Classes of Groups by First-Order Sentences

Cited in

(16)

• Bi-interpretability of some monoids with the arithmetic and applications
• Complete first-order theories of some classical matrix groups over algebraic integers
• First order rigidity of non-uniform higher rank arithmetic groups
• R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• Infinite finitely generated fields are biinterpretable with ℕ
• 10th Asian Logic Conference
• Polycyclic-by-finite groups and first-order sentences
• The logical complexity of finitely generated commutative rings
• Quasi-finitely axiomatizable nilpotent groups
• Quasi-finitely axiomatizable groups and groups which are prime models
• Regular bi-interpretability of Chevalley groups over local rings
• On the model theory of higher rank arithmetic groups
• Groups elementarily equivalent to metabelian Baumslag-Solitar groups and regular bi-interpretability
• Groups elementarily equivalent to a finitely generated free metabelian group
• On the first-order genus of wreath products and their central extensions

This page was built for publication: Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs

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