𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Definability and decidability in infinite algebraic extensions

✍ Scribed by Shlapentokh, Alexandra; Videla, Carlos

Book ID
121808375
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
390 KB
Volume
165
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Decidability and Definability Results Co
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
✍ Bogdan Stanislaw Chlebus πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 452 KB

DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order

Diophantine Definability and Decidabilit
Diophantine Definability and Decidability in Large Subrings of Totally Real Number Fields and Their Totally Complex Extensions of Degree 2
✍ Alexandra Shlapentokh πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 257 KB

Let M be a number field. Let W be a set of non-archimedean primes of M. Let O M;W ΒΌ fx 2 M j ord p x50 8peW g: The author continues her investigation of Diophantine definability and decidability in rings O M;W where W is infinite. In this paper, she improves her previous density estimates and exten