$\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable (Q4372333)
From MaRDI portal
scientific article; zbMATH DE number 1096423
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable |
scientific article; zbMATH DE number 1096423 |
Statements
$\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable (English)
0 references
11 December 1997
0 references
Penzin arithmetic
0 references
decidability
0 references
field of rational numbers
0 references
\(p\)-adic valuation
0 references
0 references
0 references
