𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new approach to the theory of elementary domains

✍ Scribed by Toshiyuki Toyoda; Kunio Yasue

Publisher
Springer
Year
1978
Tongue
English
Weight
469 KB
Volume
17
Category
Article
ISSN
0020-7748

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The elementary theory of e-free PAC doma
The elementary theory of e-free PAC domains
✍ Aharon Razon πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 290 KB

We prove that the theory of all sentences in the language of rings which are true in Z ∩ Q( ) for almost all ∈ G(Q) e is decidable. Here Q is the ÿeld of all algebraic numbers; Z is the ring of all algebraic integers; G(Q) is the absolute Galois group of Q; for each = ( 1; : : : ; e) ∈ G(Q) e , Q( )