Undecidability of some elementary theories over PAC fields (Q1074575)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3948241
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Undecidability of some elementary theories over PAC fields |
scientific article; zbMATH DE number 3948241 |
Statements
Undecidability of some elementary theories over PAC fields (English)
0 references
1986
0 references
We consider the theory of the field \(\tilde Q\) of algebraic numbers equipped with \(n\geq 2\) automorphisms \(\sigma_ 1,...,\sigma_ n\). We show that with probability 1 (in the sense of Haar measure on Gal\((\tilde Q/Q))\) this theory has the complexity of arithmetic. We use torsion points on elliptic curves to encode finite sets. The methods work also in nonzero characteristic.
0 references
absolute Galois group
0 references
normalized Haar measure
0 references
algebraic number
0 references
field
0 references
pseudo algebraically closed field
0 references
arithmetic
0 references
torsion points on elliptic curves
0 references
0 references
0 references
0.8182516098022461
0 references
0.8174183368682861
0 references
0.7801439762115479
0 references
0.7710891366004944
0 references
