Undecidable existential theories of polynomial rings and function fields (Q4265563)
From MaRDI portal
scientific article; zbMATH DE number 1339765
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidable existential theories of polynomial rings and function fields |
scientific article; zbMATH DE number 1339765 |
Statements
Undecidable existential theories of polynomial rings and function fields (English)
0 references
6 April 2000
0 references
undecidable positive existential theory
0 references
rational function field
0 references
polynomial ring
0 references
