SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION |
scientific article |
Statements
SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (English)
0 references
28 April 2017
0 references
separably closed valued fields
0 references
quantifier elimination
0 references
infinite imperfection degree
0 references
0.9424339
0 references
0.9375099
0 references
0.93142664
0 references
0.9251539
0 references
0.91804796
0 references
0.9164717
0 references
0.90985715
0 references
0.9066149
0 references