Complexity of structures associated with real closed fields (Q5327135)
From MaRDI portal
scientific article; zbMATH DE number 6194571
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of structures associated with real closed fields |
scientific article; zbMATH DE number 6194571 |
Statements
Complexity of structures associated with real closed fields (English)
0 references
5 August 2013
0 references
real closed fields
0 references
computability
0 references
complexity of value group sections
0 references
residue field sections
0 references
integer part
0 references
generalized series
0 references
