Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués

DOI10.2307/2586616zbMATH Open0945.03055OpenAlexW2077130629MaRDI QIDQ4934026FDOQ4934026

Françoise Delon, Patrick Simonetta

Publication date: 7 March 2000

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

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

zbMATH Keywords

Ax-Kochen-Ershov principlegroups acting on groupsdecidability of groupsdecidability of ordered groupsdecidability of valued groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Ordered groups (06F15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Model theory of fields (12L12)

Cites Work

• $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable

Cited In (2)

• $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable
• Recognizable sets of power series over finite fields

   Recommendations

• Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien 👍 👎
• The model theory of separably tame valued fields 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the structure of nonarchimedean exponential fields. I 👍 👎

This page was built for publication: Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués

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