𝔖 Bobbio Scriptorium
✦   LIBER   ✦

THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

✍ Scribed by Raphael M. Robinson


Publisher
John Wiley and Sons
Year
1964
Tongue
English
Weight
412 KB
Volume
10
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Undecidability of the Real-Algebraic Str
✍ MiklΓ³s ErdΓ©lyi-SzabΓ³ πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 256 KB

We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.

Onp-adicL-functions and Zp-extensions of
✍ Hisao Taya πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 156 KB

Let k be a real abelian number field with Galois group 2 and p an odd prime number. Denote by k the cyclotomic Z p -extension of k with Galois group 1 and by k n the nth layer of k Γ‚k. Assume that the order of 2 is prime to p and that p splits completely in kΓ‚Q. In this article, we describe the orde