Undecidabiliity for the additive AIA fragment of the theory of normed spaces (Q6217514)
From MaRDI portal
scientific article; zbMATH DE number 900101787
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidabiliity for the additive AIA fragment of the theory of normed spaces |
scientific article; zbMATH DE number 900101787 |
Statements
6 February 2010
0 references
math.LO
0 references
