Arithmetic of divisibility in finite models (Q4459597)
From MaRDI portal
scientific article; zbMATH DE number 2062674
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arithmetic of divisibility in finite models |
scientific article; zbMATH DE number 2062674 |
Statements
Arithmetic of divisibility in finite models (English)
0 references
29 March 2004
0 references
finite model
0 references
divisibility
0 references
undecidability
0 references
FM-representability
0 references
IS-interpretability
0 references
