Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien

DOI10.2307/2586650zbMath0927.03066OpenAlexW2086915227MaRDI QIDQ4254681

Patrick Simonetta

Publication date: 7 December 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586650

zbMATH Keywords

stabilitydecidabilityelementary equivalencefirst-order axiomatisationgroup acting on a group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Stable pseudofinite groups

Cites Work

• Unnamed Item
• $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
• From “Metabelian ℚ-Vector Spaces” to New ω-Stable Groups

This page was built for publication: Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien