Eliminating field quantifiers in strongly dependent henselian fields (Q4630671)
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: Eliminating field quantifiers in strongly dependent henselian fields |
scientific article; zbMATH DE number 7046541
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Eliminating field quantifiers in strongly dependent henselian fields |
scientific article; zbMATH DE number 7046541 |
Statements
Eliminating field quantifiers in strongly dependent henselian fields (English)
0 references
23 April 2019
0 references
strongly dependent theory
0 references
Henselian fields
0 references
Denef-Pas language
0 references
quantifier elimination
0 references
0 references
0.7172024
0 references
0.71093315
0 references
0.7081882
0 references
0.70336425
0 references
0 references
0.7014653
0 references
0 references
0.69165415
0 references
0 references
0.6898438
0 references
