Undecidability and Definability for the Theory of Global Fields (Q3926549)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Undecidability and Definability for the Theory of Global Fields |
scientific article |
Statements
1980
0 references
polynomial rings
0 references
natural numbers
0 references
Goedel functions
0 references
function fields
0 references
Hasse principle
0 references
valuations
0 references
Undecidability and Definability for the Theory of Global Fields (English)
0 references