Pages that link to "Item:Q4372333"

The following pages link to $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable (Q4372333):

Displayed 4 items.

• Decidability questions for a ring of Laurent polynomials (Q764281) ‎ (← links)
• A tetrachotomy for expansions of the real ordered additive group (Q2037136) ‎ (← links)
• Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien (Q4254681) ‎ (← links)
• Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués (Q4934026) ‎ (← links)