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.003zbMath1117.03041OpenAlexW1965604486MaRDI QIDQ2643485

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

metabelian groupscommutative ringsfinitely generated structurequasi-finitely axiomatizable

Mathematics Subject Classification ID

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

Related Items (max. 100)

Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle ⋮ R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS ⋮ First order rigidity of non-uniform higher rank arithmetic groups ⋮ Polycyclic-by-finite groups and first-order sentences ⋮ Regular bi-interpretability of Chevalley groups over local rings ⋮ On the model theory of higher rank arithmetic groups ⋮ Infinite finitely generated fields are biinterpretable with ℕ ⋮ Complete first-order theories of some classical matrix groups over algebraic integers ⋮ 10th Asian Logic Conference

Cites Work

• Separating Classes of Groups by First-Order Sentences
• Describing Groups
• Infinite finitely generated fields are biinterpretable with ℕ
• Quasi-finitely axiomatizable groups and groups which are prime models
• Unnamed Item
• Unnamed Item
• Unnamed Item

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