Abstract
An e-fold ordered field is said to be Frobenius if it is a PRC e field which has the embedding property. By means of a Galois stratification procedure we prove that the theory of e-fold ordered Frobenius fields is decidable.
Original language | English |
---|---|
Pages (from-to) | 169-197 |
Number of pages | 29 |
Journal | Israel Journal of Mathematics |
Volume | 85 |
Issue number | 1-3 |
DOIs | |
State | Published - Feb 1994 |